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

Мат. quotient automaton