26
правок
Изменения
→Дополнение, пересечение и разность
|proof=
То, что <tex> L </tex> -- не КС язык, доказывается с помощью леммы о разрастании. Для <tex> \overline{L} </tex> можно составить [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора|КС-грамматику]]. Предоставим это читателю в качестве упражнения.
}}
