211
правок
Изменения
м
→Автоматы с \varepsilon-переходами
Конечный автомат с <tex>\varepsilon</tex>-переходами {{---}} конечный автомат, в котором есть возможность совершать переходы по <tex>\varepsilon</tex>.
{{Определение
|definition=<tex>\varepsilon</tex>-НКА <tex>A</tex> {{---}} это набор <tex>A={\langle\Sigma,Q,s,T,\delta\rangle}</tex>, где все компоненты имеют тот же смысл, что и для [[Недетерминированные конечные автоматы|НКА]], за исключением <tex>\delta : Q\times (\Sigma\bigcupcup\{\varepsilon\}) \to 2^Q</tex>.
}}
