приводимый автомат

Мат. reducible automaton