Изменения
Нет описания правки
3. Вершины обозначены различными символами из конечного алфавита <tex>\Sigma</tex>, то есть мы можем обращаться к вершине по ее символу.
}}
[[Файл:Myhill2.png|300px|thumb|right|Рисунок 1]]
Рассмотрим пример (рис. 1). Этот граф может быть использован для распознавания строк над алфавитом <tex>\Sigma = \{a, b\}</tex>. По определению, язык, распознаваемый данным автоматом, состоит из непустых строк, начинающихся и заканчивающизся на <tex>a</tex>. Язык, распознаваемый данным графом имеет вид: <tex>L = (a \Sigma^* \cap \Sigma^* a) \ \Sigma^* b^2 \Sigma^*)</tex>.
Пусть <tex>G</tex> {{---}} граф Майхилла над алфавитом <tex>\Sigma</tex>.
