On Definability of Universal Graphic Automata by Their Input Symbol Semigroups
Universal graphic automaton Atm(G, G′ ) is the universally attracting object in the category of automata, for which the set of states is equipped with the structure of a graph G and the set of output symbols is equipped with the structure of a graph G′ preserved by transition and output functions of...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Saratov State University
2020-03-01
|
| Series: | Известия Саратовского университета. Новая серия. Серия Математика. Механика. Информатика |
| Subjects: | |
| Online Access: | https://mmi.sgu.ru/sites/mmi.sgu.ru/files/2020/02/42-50molchanov-farakhutdinov.pdf |