Изменения
Нет описания правки
Построим по нему граф Майхилла следующим образом:
* Отметим все состояния <tex>A</tex>, кроме стартового, <tex>input</tex> символами, стоящими на ребрах, входящих в эти состояния.
* Сотрем все метки на ребрах <tex>АA</tex>.
* Отметим все состояния <tex>s</tex> как начальные вершины, если существует переход из <tex>i</tex> в <tex>s</tex>
* Отметим все терминальные состояния как конечные вершины.
