Characteristic Semigroups of Directable Automata [chapter]

Tatjana Petković, Miroslav Ćirić, Stojan Bogdanović
2003 Lecture Notes in Computer Science  
In some of their earlier papers the authors established correspondences between varieties of automata and semigroups and then found inconvenient the usual notion of transition semigroup of an automaton for dealing with automata satisfying some irregular identities. This is the motivation for assigning a new kind of semigroups to directable automata, which is done in this paper. The properties of these, so-called characteristic, semigroups are studied and semigroups that can be characteristic
more » ... igroups of directable automata are characterized. Finally, a correspondence between irregular varieties of automata and certain varieties of semigroups is given.
doi:10.1007/3-540-45005-x_37 fatcat:rvdzox4tdfgvnbcgcgax2mzf2q