Изменения

Будем называть два автомата '''эквивалентными''', если они задают один и тот же язык.<br>Рассмотрим автомат, в котором переходы осуществляются по строкам. Это переходы вида <tex>\langle p,\alpha\beta\rangle\vdash\langle q,\beta\rangle</tex>, где <tex>\alpha,\beta</tex> {{---}} строки.<br>Будем называть два автомата '''эквивалентными''', если они задают один и тот же язык.