[HTML][HTML] On structure and representations of cyclic automata
J Tian, X Zhao, Y Shao - Theoretical Computer Science, 2016 - Elsevier
J Tian, X Zhao, Y Shao
Theoretical Computer Science, 2016•ElsevierIn this paper we study structure and representations of cyclic automata. Corresponding to
Green's equivalences in semigroup theory, we introduce three binary relations say L, R and
H on cyclic automata. An automaton is said to be strict if L is an equivalence on the set of
states. Some properties of these relations are established for giving characterizations of
three subclasses of strict automata. Also, we provide representations of strict automata by
representing the states as vectors and describing the state transitions in terms of matrix …
Green's equivalences in semigroup theory, we introduce three binary relations say L, R and
H on cyclic automata. An automaton is said to be strict if L is an equivalence on the set of
states. Some properties of these relations are established for giving characterizations of
three subclasses of strict automata. Also, we provide representations of strict automata by
representing the states as vectors and describing the state transitions in terms of matrix …
In this paper we study structure and representations of cyclic automata. Corresponding to Green's equivalences in semigroup theory, we introduce three binary relations say L, R and H on cyclic automata. An automaton is said to be strict if L is an equivalence on the set of states. Some properties of these relations are established for giving characterizations of three subclasses of strict automata. Also, we provide representations of strict automata by representing the states as vectors and describing the state transitions in terms of matrix operations. These results generalize and extend Ito's representations of strongly connected automata.
Elsevier
Showing the best result for this search. See all results