Изменения

Перейти к: навигация, поиск

Регулярная аппроксимация КС-языков

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

Навигация