Изменения

<tex>insert</tex> <tex>(Q \setminus F, c)</tex> '''to''' <tex>S</tex>

'''while''' <tex> S \ne \varnothing </tex>

'''for''' <tex>R</tex> '''in''' <tex>P</tex>

<tex>R_1 = R \cap \delta^{-1} (C, a) </tex>