Изменения

'''Граф Майхилла <tex>G </tex> (над алфавитом А<tex>\Sigma</tex>)''' (англ. ''Myhill graph'') {{---}} ориентированный граф, удовлетворяющий свойствам:1. Для каждой упорядоченной пары вершин v1 <tex>v</tex> и v2 <tex>u</tex> существует только одно ребро из v1 <tex>v</tex> в v2<tex>u</tex>.

3. Вершины обозначены различными символами из конечного алфавита А<tex>\Sigma</tex>, то есть мы можем обращаться к вершине по ее символу.

Пусть <tex>G </tex> {{---}} граф Майхилла над алфавитом А<tex>\Sigma</tex>.

Символ а <tex>c</tex> из А <tex>\Sigma</tex> назовем разрешенным, если им помечена вершина, являющая одновременно начальной и конечной.

Не пустая строка a_1a_2<tex>c_1c_2...a_n c_n</tex> из A<tex>\Sigma^* </tex> длиной не менее двух символов, называется разрешенной, если символом a_1 <tex>c_1</tex> отмечена стартовая вершина, а символом a_n <tex>c_n</tex> {{-- -}} конечная, и для всех <tex>1 <= i <= n-1 </tex> в <tex>G </tex> существует ребро <tex>a_i -> \rightarrow a_{i+1}</tex>.