(1) Saratov State University, ul. Astrakhanskaya 83, Saratov, 410012, Russia
Abstract:
A congruence on an automaton A is called inner if it is the kernel of a certain endomorphism on A. We propose a characterization of automata, all of whose congruences are inner.