Изменения
→Алгоритм преобразования грамматики в конечный автомат
{{Лемма
|statement = Не самоприменимая контекстно-свободная грамматика генерирует регулярный язык.
|proof = В качестве конструктивного доказательства, мы приведем алгоритм построения [[Недетерминированные конечные автоматы|конечного автомата]] по грамматике. Для желающих , приведем ссылку на [http://books.google.ru/books?id=tFvtwGYNe7kC&pg=PA21#v=onepage&q&f=false формальное доказательство].
}}
