On the Cascade Decomposition of Prefix Automata
W. F. Cutlip · IEEE Transactions on Computers · 1968
Perles, Rabin and Shamir conceived prefix automata as realizations of k-definite deterministic automata. The structure theory of deterministic automata as developed by Zeiger reveals that a prefix automaton may be decomposed into a cascade of reset machines.