Изменения
Нет описания правки
Теперь нетрудно задать регулярное выражение для всего языка:
<tex>\varphi = \xi_{s{t_1}n} \mid \xi_{s{t_1t_2}n} \mid \dots \mid \xi_{s{t_r}n}</tex>, где <tex>s</tex> - стартовое состояние, а <tex>t_1, t_2, \dots t_r</tex> - терминальные состояния исходного автомата.
Таким образом мы построили по автомату регулярное выражение, допускающее тот же самый язык.
}}
