ultimate-definite automaton

Мат. предельно определенный автомат