Title: Some theorems and algorithms on a new form of decomposition for automata
Subjects: Machine theory, Algorithms