reducible automaton

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