Изменения

*Если положить, что начальные состояния эквивалентны, то последовательно, переходя по одному символу из состояний, можем получить и другие пары эквивалентных состояний. Если же в одну из таких пар попадут допускающее состояния вместе с не допускающим, то такие <tex>q_i</tex> и <tex>q_j</tex> <em> неэквивалентны</em>.<tex>AlgoPartitionAlgoCheckEquivalence(Q_1, Q_2, q_{10}, q_{20})\\\big \{\\List\,\langle StatesPair\rangle\; myList=new\; List\,\langle StatesPair \rangle(); \\myList.Add(StatesPair(q_{10}, q_{20}));\\\big\}