Изменения
→Алгоритм
<tex>Q</tex> {{---}} очередь состояний, соответствующих множествам, состоящих из состояний НКА.
<tex>s</tex> {{---}} стартовое состояние НКА.
'''Automaton''' getDFAbyNFA(<tex>\langle \Sigma, Q_0, s, TT_0, \delta_0 \rangle</tex> : '''Automaton'''):
<tex>Q</tex>.push({s})
'''while''' (<tex>Q</tex> <tex> \neq </tex> <tex>\varnothing </tex>)
'''if''' ('''not''' visited[<tex>p_d</tex>])
<tex>Q</tex>.push(<tex>p_d</tex>)
<tex>\delta(q_d, p_d)</tex> = <tex>c</tex> '''if''' (<tex>\exists q</tex> '''in''' <tex>q_d: q</tex> '''in''' <tex>T_0</tex>) <tex>T</tex>.add<tex>(q_d)</tex> '''return''' <tex>\langle \Sigma, Q, \{s\}, T, \delta \rangle</tex>
===Асимптотика===
