Изменения

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

*[[Замкнутость КС-языков относительно различных операций]]

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

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

*[[Устранение левой рекурсии]]

*[[Приведение грамматики к ослабленной нормальной форме Грейбах]]

*[[Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ]]

*[[Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики]]

*[[Алгоритм Эрли]]

*[[Алгоритм Эрли, доказательство оценки O(n^2) для однозначной грамматики]]

*[[Лемма о разрастании для КС-грамматик]]

*[[Автоматы с магазинной памятью]]

*[[МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность]]

*[[Нормальная форма ДМП-автомата]]

*[[Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами]]

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