Изменения
→Алгоритм
* <tex>\mathtt{s}</tex> {{---}} стартовое состояние НКА.
'''Automaton''' getDFAbyNFA(<tex>\langle \Sigma, Q, s, T, \delta \rangle</tex> : '''Automaton'''):
<tex>P</tex>.push(<tex>\{s\}</tex>)
<tex>Q_d</tex> = <tex>\varnothing</tex>
'''while''' <tex>P</tex> <tex> \neq </tex> <tex>\varnothing </tex>
'''for''' <tex>p \in p_d</tex>
<tex>q_d</tex> = <tex>q_d \cup \{ \delta(p, c) \}</tex>
'''if''' <tex>q_d \notin Q_d</tex>
<tex>P</tex>.push(<tex>q_d</tex>)
<tex>Q_d</tex>.add(<tex>q_d</tex>)
<tex>T_d</tex> = <tex>\{q q_d \in Q_d \mid \exists p \in T : p \in qq_d\}</tex>
'''return''' <tex>\langle \Sigma, Q_d, \{s\}, T_d, \delta_d \rangle</tex>
