Изменения

|definition=<tex>\varepsilon</tex>-НКА <tex>A</tex> --- это набор <tex>A={\langle\Sigma,Q,s,T,\delta\rangle}</tex>, где все компоненты имеют тот же смысл, что и для [[Недетерминированные конечные автоматы|НКА]], за исключением <tex>\delta : Q\times \Sigma\bigcup\{\varepsilon\} \to \cal P</tex><tex>(Q)</tex>.

}}

Рассмотрим автомат, в котором переходы осуществляются по строкам. Это переходы вида <tex>\langle p,\alpha\beta\rangle\vdash\langle q,\beta\rangle</tex>, где <tex>\alpha,\beta</tex> --- строки.

{{Теорема

Получили НКА без <tex>\varepsilon</tex>-переходов эквивалентный исходному автомату.

}}

==Совпадение множеств языков, допускаемых eps-НКА и ДКА==

{{Утверждение