64
правки
Изменения
м
→Псевдокод
'''if''' <tex> |R_1| \ne 0</tex> '''and''' <tex>|R_2| \ne 0</tex>
'''replace''' <tex>R</tex> '''in''' <tex>P</tex> '''with''' <tex>R_1</tex> '''and''' <tex>R_2</tex>
<tex>W</tex>'''.push'''(<tex>R_1, a</tex>) <tex>W</tex>'''.push'''(<tex>R_2, a</tex>)
Когда очередь станет пустой, будет получено разбиение на классы эквивалентности, так как больше ни один класс невозможно разбить.
