decomposable automaton

Мат. разложимый автомат