Egri-Nagy, A.; Nehaniv, C.L.
(Algebra and Discrete Mathematics, 2015)
For a given reachable automaton A, we prove that the (state-) endomorphism monoid End(A) divides its characteristic monoid M(A). Hence so does its (state-)automorphism group Aut(A), and, for finite A, Aut(A) is a homomorphic ...