论文信息 - A Structure Theory of Automata Characterized by Groups

A Structure Theory of Automata Characterized by Groups

The structure of a strongly connected permutation automaton, a quasiperfect automaton, and a perfect automaton are discussed algebraically using group theory. A characterization theorem for the three classes of automata, a condition for direct product decomposability of a strongly connected permutation automaton, and some other related results are proposed in this paper.

[1] J. Rhodes,et al. Algebraic theory of machines. I. Prime decomposition theorem for finite semigroups and machines , 1965 .

[3] Gerard P. Weeg,et al. The Structure of an Automaton and Its Operation-Preserving Transformation Group , 1962, JACM.

[4] R. Bayer. Automorphism Groups and Quotients of Strongly Connected Automata and Monadic Algebras , 1966, SWAT.

[5] Robert H. Oehmke. On the Structures of an Automaton and Its Input Semigroup , 1963, JACM.

[6] Arthur C. Fleck,et al. Isomorphism Groups of Automata , 1962, JACM.

[7] Arthur C. Fleck. On the Automorphism Group of an Automaton , 1965, JACM.

[8] Charles A. Trauth. Group-Type Automata , 1966, JACM.