Cite this article as:

Molchanov V. A. Abstract Characterization of Semigroups of Input Signals of Universal Planar Automata. Izv. Saratov Univ. (N. S.), Ser. Math. Mech. Inform., 2015, vol. 15, iss. 1, pp. 113-121. DOI: https://doi.org/10.18500/1816-9791-2015-15-1-113-121

Language: 
Russian
Heading: 
Computer Sciences
UDC: 
519.713.8, 512.53, 514.146

Abstract Characterization of Semigroups of Input Signals of Universal Planar Automata

Authors: 
Molchanov Vladimir Aleksandrovich, Saratov State University 1, Saratov State University, Russia, 410012, Saratov, Astrahanskaya st., 83 , v.molchanov@inbox.ru
Abstract: 

Universal planar automata are universally attracted objects in the category of automata, for which sets of states and output signals are endowed with structures of planes. The main results of the paper give us necessary and sufficient conditions under which an arbitrary automaton is isomorphic to a universal planar automaton and an arbitrary semigroup is isomorphic to the semigroup of input signals of a universal planar automata.

 

Key words: 
automaton, semigroup, plane
DOI: 
https://doi.org/10.18500/1816-9791-2015-15-1-113-121
References
  1. Картеси Ф. Введение в конечные геометрии. М. : Наука, 1980. 320 с.
  2. Плоткин Б. И., Гринглаз Л. Я., Гварамия А. А. Элементы алгебраической теории автоматов. М. : Высш. шк., 1994. 192 с.
  3. Улам С. Нерешенные математические задачи. М. : Наука, 1964. 168 с.
  4. Jonson B. Topics in Universal Algebras. Lecture Notes in Mathematics. Vol. 250. Berlin ; N. Y. : Springer-Verlag, 1972. 220 p.
  5. Molchanov V. A. A universal planar automaton is determined by its semigroup of input symbols // Semigroup Forum. 2011. Vol. 82. P. 1–9.
  6. Молчанов В. А. Конкретная характеризация универсальных планарных автоматов // Фундамент. и прикл. матем. 2013. Т. 18, вып. 3. С. 139–148.
  7. Birkhoff G., Lipson J. D. Heterogeneous Algebras // J. Combinatorial Theory. 1970. Vol. 8. P. 115–133.
  8. Ершов Ю. Л., Палютин Е. А. Математическая логика. М. : ФИЗМАТЛИТ, 2011. 356 с.
  9. Молчанов В. А. Представление универсальных планарных автоматов входными сигналами // Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 2, ч. 2. С. 31–37.

 

Full text:
download
84