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

Мат. irreducible automaton