Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10333871 | Theoretical Computer Science | 2016 | 17 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Jing Tian, Xianzhong Zhao, Yong Shao,