Изменения

Перейти к: навигация, поиск

Участник:Shersh/Тикеты к 5ому терму

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

Навигация