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

Мат. decomposable automaton