Изменения

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

'''insert''' <tex> (\mathtt{min} (\mathtt{F, Q} \setminus \mathtt{F}), c)</tex> '''in''' <tex>\mathtt{S}</tex>

<tex>(C, a) \leftarrow</tex> '''pop'''(<tex>\mathtt{S}</tex>)

<tex>T \leftarrow \{R \ | \ R \in \mathtt{P}, \ R</tex> '''split by''' <tex>(C, a) \}</tex>