Izvestiya of Saratov University.

Mathematics. Mechanics. Informatics

ISSN 1816-9791 (Print)
ISSN 2541-9005 (Online)

For citation:

Molchanov V. A. Abstract Characterization of Semigroups of Input Signals of Universal Planar Automata. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2015, vol. 15, iss. 1, pp. 113-121. DOI: 10.18500/1816-9791-2015-15-1-113-121, EDN: TMMCOF

This is an open access article distributed under the terms of Creative Commons Attribution 4.0 International License (CC-BY 4.0).
Published online: 
02.03.2015
Full text:
download
(downloads: 144)
Language: 
Russian
Heading: 
Computer Sciences
UDC: 
519.713.8, 512.53, 514.146
DOI: 
10.18500/1816-9791-2015-15-1-113-121
EDN: 
TMMCOF

Abstract Characterization of Semigroups of Input Signals of Universal Planar Automata

Autors: 
Molchanov Vladimir Aleksandrovich, Saratov State University
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
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.
Received: 
13.10.2014
Accepted: 
25.02.2015
Published: 
31.03.2015
  • 795 reads