3622
правки
Изменения
Нет описания правки
'''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>
'''for all''' <tex> c \in \Sigma </tex> <tex>W</tex>'''.push'''(<tex>R_1, ac</tex>) <tex>W</tex>'''.push'''(<tex>R_2, ac</tex>)
Когда очередь станет пустой, будет получено разбиение на классы эквивалентности, так как больше ни один класс невозможно разбить.
