Изменения
→Псевдокод
<tex>P \leftarrow \{ F, Q \setminus F \}</tex>
<tex>W \leftarrow \{ \}</tex>
'''while not''' <tex>W</tex>'''.isEmpty()'''
<tex>W</tex>'''.pop'''(<tex>S, a</tex>)
'''for each''' <tex>R</tex> '''in''' <tex>P</tex> '''split by''' <tex>(S, a)</tex>
'''replace''' <tex>R</tex> '''in''' <tex>P</tex> '''with''' <tex>R_1</tex> '''and''' <tex>R_2</tex>
'''if''' (<tex>R, a</tex>) '''in''' <tex>W</tex>