177
правок
Изменения
м
→Алгоритм преобразования грамматики в конечный автомат
{{Лемма
|statement = Не самоприменимая контекстно-свободная грамматика генерирует регулярный язык.
|proof = В качестве конструктивного доказательства приведем алгоритм построения [[Недетерминированные конечные автоматы|конечного автомата]] по грамматике. Также приведем ссылку на [http://booksac.googleels-cdn.rucom/booksS0019995859800176/1-s2.0-S0019995859800176-main.pdf?id_tid=tFvtwGYNe7kC&pg=PA21#v=onepage&q01067c30-c616-11e6-a178-00000aab0f6c&facdnat=false 1482171029_8a3a81a6f520cf0f9a769aaafbb8babb формальное доказательство].
}}
