57
правок
Изменения
м
==Автомат с eps-переходами==
Рассмотрим автомат, в котором переходы осуществляются по строкам. Это переходы вида <tex><p,\alpha\beta>\vdash<q,\beta></tex>, где <tex>\alpha,\beta</tex> --- строки. В случае, когда <tex>\alpha=\varepsilon</tex>, такой автомат называется '''автоматом с <tex>\varepsilon</tex>-переходами.'''
Нет описания правки
{{В разработке}}
[[Категория: Теория формальных языков]]
==Эквивалентность автоматов с переходами по строкам и НКА. Eps-замыкание.==
Рассмотрим автомат, в котором переходы осуществляются по строкам. Это переходы вида <tex><p,\alpha\beta>\vdash<q,\beta></tex>, где <tex>\alpha,\beta</tex> --- строки.
{{Утверждение
|id=th1
