Изменения

*Если положить, что начальные состояния эквивалентны, то последовательно, переходя по одному символу из состояний, можем получить и другие пары эквивалентных состояний. Если же в одну из таких пар попадут допускающее состояния вместе с не допускающимнедопускающим, то такие <tex>q_i</tex> и <tex>q_j</tex> <em>неэквивалентны</em>.*Таким образом получим разбиение множества <tex> Q_1\cup Q_2</tex> на множества эквивалентных состояний. После этого проверим, что никакое из этих множеств не содержит допускающее и не допускающее недопускающее состояние одновременно, тогда автоматы эквивалентны.