211
правок
Изменения
м
→Эквивалентность автоматов с переходами по строкам и НКА. Eps-замыкание
}}
==Эквивалентность автоматов с переходами по строкам и НКА. Eps<tex dpi = "155">\varepsilon</tex>-замыкание==
Будем называть два автомата '''эквивалентными''', если они задают один и тот же язык.<br>
Рассмотрим автомат, в котором переходы осуществляются по строкам. Это переходы вида <tex>\langle p,\alpha\beta\rangle\vdash\langle q,\beta\rangle</tex>, где <tex>\alpha,\beta</tex> {{---}} строки.
