reduced automaton

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