Изменения
Нет описания правки
Язык <tex>L(G)</tex>, распознаваемый графом Майхилла, состоит из всех разрешенных строк из <tex>\Sigma^+</tex>.
[[Файл:Myhill3.png|300px|thumb|right|Рисунок 2]]
Рассмотрим детерменированный конечный автомат, представленный на рисунке 2.
Не сложно проверить, что он распознает тот же язык, что и граф на рисунке 1.
Покажем, графы Майхилла могут быть представлены в виде автоматов.
Пусть <tex>A = (S, \Sigma, i, \delta, T)</tex> {{---}} ДКА, не обязательно законченный.
{{Определение
