The paper studies graph automata, the set of states and the set whose output signals are endowed with graph structures. Universal graph automata are universally attracting objects in categories of semigroup graph automata. In this work a description of the structure of isomorphisms and automorphism groups of such automata and their connection with isomorphisms and automorphism groups machine component.
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 the automata. The input symbol semigroup of the automaton is S(G, G ′ ) = End G×Hom(G, G ′ ). It can be considered as a derivative algebraic system of the mathematical object Atm(G, G ′ ) which contains useful information about the initial automaton. It is common knowledge that properties of the semigroup are interconnected with properties of the algebraic structure of the automaton. Hence, we can study universal graphic automata by researching their input symbol semigroups. For these semigroups it is interesting to study the problem of definability of universal graphic automata by their input symbol semigroupsunder which conditions are the input symbol semigroups of universal graphic automata isomorphic. This is the subject we investigate in the present paper. The main result of our study states that the input symbol semigroups of universal graphic automata over reflexive graphs determine the initial automata up to isomorphism and duality of graphs if the state graphs of the automata contain an edge that does not belong to any cycle.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.