Elementary Definability of the Class of Universal Planar Automata in the Class of Semigroups
- Authors: Molchanov V.A.1
-
Affiliations:
- Chernyshevskii Saratov State University
- Issue: Vol 60, No 6 (2019)
- Pages: 1089-1098
- Section: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/172783
- DOI: https://doi.org/10.1134/S0037446619060168
- ID: 172783
Cite item
Abstract
Universal planar automata are universal attracting objects in the category of semigroup automata whose set of states and set of output signals are equipped with algebraic structures of the planes that are invariant under the actions of the transition and output functions. We establish the elementary definability of the class of universal planar automata in the class of semigroups and study the problem of the elementary classification of universal planar automata with the use of first-order theories of input signal semigroups of these automata.
About the authors
V. A. Molchanov
Chernyshevskii Saratov State University
Author for correspondence.
Email: v.molchanov@inbox.ru
Russian Federation, Saratov
![](/img/style/loading.gif)