Изменения
Нет описания правки
Язык <tex>L(G)</tex>, распознаваемый графом Майхилла, состоит из всех разрешенных строк из <tex>\Sigma^+</tex>.
Покажем, что графы Майхилла могут быть представлены в виде автоматов.
Пусть <tex>A = (S, \Sigma, i, \delta, T)</tex> {{---}} ДКА.
