4 research outputs found
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