Изменения

<tex>\mathtt{Q} \leftarrow \varnothing</tex>

<tex>\Delta \leftarrow \varnothing </tex>

<tex>F \leftarrow \{f\} </tex>

'''return''' makeFA(s,S,f)

'''return'''

'''if''' a == <tex>X\beta</tex> '''where''' <tex> X \in (N \cup \Sigma) \land \beta \in (N \cup \Sigma)^* \land |\beta| > 0 </tex>

makeFA(<tex>q_0,X,q_1</tex>)

makeFA(<tex>q, \beta, q_1 </tex>)