On Direct Product and Quotient of Strongly Connected Automata [article]

Zino H. Hu
2013 arXiv   pre-print
An automaton is isomorphic to the direct product of a permutation strongly connected automaton and a synchronizing strongly connected automaton if and only if all of the following conditions are met: (i) it is strongly connected; (ii) the minimal ideal of its transition semigroup is a right group and (iii) the ranges of the idempotent elements of the minimal ideal of its transition semigroup form a partition on its set of states.
arXiv:1104.3314v10 fatcat:qr5nnv65cfcgjb4hmelgezroaa