Изменения

'''while''' <tex>\mathtt{Queue} \ne \varnothing</tex>

<tex>\langle C,\ a \rangle</tex> <tex>\leftarrow</tex> '''take any from''' <tex>\mathtt{Queue}</tex> <font color=darkgreen>//Взять любую пару из <tex>\mathtt{Queue}</tex>, не удаляя (!)</font>

'''for''' <tex>q \in C</tex> '''and''' <tex>r \in \mathtt{Inv}[q][a]</tex>

<tex>i = \mathtt{Class}[r]</tex>

'''if''' <tex>\mathtt{Involved}[i] == \varnothing</tex>

'''add''' <tex>r</tex> '''to''' <tex>\mathtt{Involved}[i]</tex>

'''for''' <tex> i \in \mathtt{Involved}</tex> <font color=darkgreen>//Перебираем ключи <tex>\mathtt{Involved}</tex></font>

'''insert''' <tex>\{\}</tex> '''into''' <tex>\mathtt{P}</tex> <font color=darkgreen>//Создадим пустой класс в разбиении <tex>\mathtt{P}</tex></font>

<tex>j = </tex> '''size of''' <tex>\mathtt{P}</tex> <font color=darkgreen>//Запишем в <tex>j</tex> индекс нового класса</font>

'''add''' <tex>r</tex> '''to''' <tex>\mathtt{P}[j]</tex>

'''for''' <tex>c \in \Sigma</tex>

'''remove''' <tex>\langle C,\ a \rangle</tex> '''from''' <tex> \mathtt{Queue}</tex>

'''return''' <tex>\mathtt{P}</tex>