эквивалентность автоматов

Мат. automata equivalence