<tex>Q</tex> {{---}} очередь состояний, соответствующих множествам, состоящих из состояний НКА.
<tex>s</tex> {{---}} стартовое состояние НКА.
'''Automaton''' getDKAbyNKA(<tex>\langle \Sigma, Q, s, T, \delta \rangle</tex>.push({: '''Automaton'''): <tex>sQ</tex>.push({s}) '''while not isEmpty''' (<tex>Q</tex> <tex> \neq </tex> <tex>\varnothing </tex>) <tex>Q</tex>.pop(<tex>q_d</tex>) '''for ''' (<tex>c \</tex> '''in ''' <tex>\Sigma</tex>) <tex>p_d</tex> = <tex>\varnothing</tex> '''for ''' (<tex>q \</tex> '''in ''' <tex>q_d</tex> ) <tex>p_d</tex> = <tex>p_d \cup \{ \delta(q, c) \}</tex> '''if ''' ('''not ''' visited[<tex>p_d</tex>]) <tex>Q</tex>.push(<tex>p_d</tex>)
===Асимптотика===
