3622
правки
Изменения
м
→Базовые понятия о грамматиках
<li> [[Неукорачивающие и контекстно-зависимые грамматики, эквивалентность]] </li>
<li> [[Правоконтекстные грамматики, эквивалентность автоматам]] </li>
<li> ''fixed'' [[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора]] (1) </li>
# Оформить красиво двусторонние доказательства и исправить форматирование в остальном. +баллы за более красивые картинки
<li> '''fixed''' [[Замкнутость КС-языков относительно различных операций]] (5) </li>
