Изменения
→Алгоритм
<tex>Q</tex> {{---}} очередь состояний, соответствующих множествам, состоящих из состояний НКА.
<tex>s</tex> {{---}} стартовое состояние НКА.
'''Automaton''' getDFAbyNFA(NFA <tex>\langle \Sigma, Q_0, s, T, \delta \rangle</tex> : '''Automaton'''):
<tex>Q</tex>.push({s})
'''while''' (<tex>Q</tex> <tex> \neq </tex> <tex>\varnothing </tex>)
