canonical automaton

Мат. канонический автомат