quotient automaton

Мат. фактор-автомат