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