3622
правки
Изменения
→Опровержение контекстно-свободности языка
=== Опровержение контекстно-свободности языка ===
<ol>
<li value="20"> '''взялиfixed''' [[Лемма о разрастании для КС-грамматик]] (6) </li>
# Добавить пример не КС-языка, который удовлетворяют условию леммы, но уже не удовлетворяет условию леммы Огдена
# Источники нормально оформить
