The Community for Technology Leaders
8th Annual Symposium on Switching and Automata Theory (SWAT 1967) (1967)
Texas
Oct. 18, 1967 to Oct. 20, 1967
pp: 322-335
ABSTRACT
The structure connections between the endomorphisms, automorphisms, and all congruence relations of an arbitrary, not necessarily finite or strongly connected automaton are investigated. It is shown how the symmetries of an automaton carry over to symmetries of the lattice of congruence relations and to symmetries of quotient automata. A Galois connection is established between the endomorphisms and the congruence relations of an automaton.
INDEX TERMS
CITATION

Z. Bavel and J. W. Thomas, "On the decomposability of monadic algebras and automata," 8th Annual Symposium on Switching and Automata Theory (SWAT 1967)(FOCS), Texas, 1967, pp. 322-335.
doi:10.1109/FOCS.1967.24
95 ms
(Ver 3.3 (11022016))