Изменения

*[[Правоконтекстные грамматики, эквивалентность автоматам]]

*[[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора]]

*[[Удаление бесполезных символов из грамматики]]

*[[Удаление eps-правил из грамматики]]

*[[Лемма Огдена]]

*[[Существенно неоднозначные языки]]

== Теория вычислимости ==

=== Разрешимые и перечислимые языки ===