DocumentCode
3263042
Title
On endomorphisms and congruences of automata
Author
Bayer, R.
fYear
1967
fDate
18-20 Oct. 1967
Firstpage
314
Lastpage
321
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.
Keywords
Artificial intelligence; Automata; Laboratories; Lattices;
fLanguage
English
Publisher
ieee
Conference_Titel
Switching and Automata Theory, 1967. SWAT 1967. IEEE Conference Record of the Eighth Annual Symposium on
Conference_Location
Austin, TX, USA
Type
conf
DOI
10.1109/FOCS.1967.22
Filename
5397192
Link To Document