Изменения
→Псевдокод
<tex>W \leftarrow \{ F, Q \setminus F \}</tex>
<tex>P \leftarrow \{ F, Q \setminus F \}</tex>
select and remove <tex>S</tex> from <tex>W</tex>
for all <tex>a \in \Sigma</tex> do
<tex>l_a \leftarrow \delta^{-1} (S, a)</tex>
for all <tex>R</tex> in <tex>P</tex> such that <tex>: R \cap l_a \ne \emptyset</tex> and <tex>R \not \subseteq l_a </tex> do
partition <tex>R</tex> into <tex>R_1</tex> and <tex>R_2 : R_1 \leftarrow R \cap l_a </tex> and <tex>R_2 \leftarrow R - R_1</tex>
replace <tex>R</tex> in <tex>P</tex> with <tex>R_1</tex> and <tex>R_2</tex>
