Cascade decomposition; Krohn-Rhodes Theorem; Wheeler automata

The Krohn-Rhodes Decomposition Theorem (KRDT) holds a central position in automata and semigroup theories. It asserts that any finite-state automaton can be broken down into a collection, a cascade, of automata of two simple types (reset and …