A proof of the Krohn-Rhodes decomposition theorem
We give a new proof of one part of the Krohn-Rhodes decomposition theorem for automata. (C) 2000 Elsevier Science B.V. All rights reserved.
finite automata cascade composition