Изменения

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

*[[Регулярная аппроксимация КС-языков]]<tex> ^\star </tex>

=== Нормальные формы КС-грамматик ===

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

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

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

=== Опровержение контекстно-свободности языка ===

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

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

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

=== МП-автоматы ===

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