Изменения

Создадим систему При преобразовании ДКА в регулярное выражение создается система регулярных выражений для каждого состояния в ДКА, а затем решим систему она решается для регулярных выражений <tex>R_i</tex>, связанных с терминальным состояниями <tex>q_i</tex>. Строим Построение уравнения происходит следующим образом: для каждого состояния <tex>q_i</tex> уравнение <tex>R_i</tex> является объединением переходов, ведущих в это состояние. Переход a из <tex>q_i</tex> в <tex>q_j</tex> обозначим обозначается за <tex>aR_i</tex>. Если <tex>q_i</tex> - терминальное состояние, то добавим добавляется в <tex>R_i</tex> <tex>\ne \varepsilon</tex>. Это приводит к системе уравнений вида:

Система может быть решена с помощью простой подстановки, за исключением случаев, когда неизвестное появляется как в правой, так и в левой части уравнения. Для этого воспользуемся можно воспользоваться теоремой Ардена: