Изменения
Нет описания правки
{{Определение
|definition=
'''Недетерминированный конечный автомат ''' (НКА) {{---}} это пятерка <tex>\langle \Sigma , Q, s \in Q, T \subset Q, \delta : Q \times \Sigma \to 2^Q \rangle</tex>, где <tex>\Sigma</tex> {{---}} алфавит, <tex>Q</tex> {{---}} множество состояний автомата, <tex>s</tex> {{---}} начальное состояние автомата, <tex>T</tex> {{---}} множество допускающих состояний автомата, <tex>\delta</tex> {{---}} функция переходов.
Таким образом единственное отличие НКА от ДКА {{---}} это существование нескольких переходов по одному символу из одного состояния.
}}
== Процесс допуска ==
* <tex>\langle q, \alpha \rangle \vdash \langle p, \beta \rangle</tex>, если:
** <tex>\alpha = c\beta</tex>
== Способ хранения ==
==См. также==
* [[Детерминированные конечные автоматы]]
