3622
правки
Изменения
м
→Опровержение контекстно-свободности языка
# Оформить таблички покрасивей и marked на что-нибудь заменить
# Сделать О-красивое
<li> ''взялиfixed'' [[Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))]] (2.5) </li>
# Отформатировать комментарии и добавить их побольше
# Оформить правильно декларации функций
<ol>
<li value="16"> [[Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ]] </li>
<li> '''!!!взяли''' [[Алгоритм Кока-Янгера-Касами, модификация для произвольной грамматики]] (710) </li>
# Расписать подробней и формальней
# А ещё алгоритму всё равно на eps-правила и цепные правила, надо это тоже написать
# Добавить см. также на варианты леммы
# Категория
<li> '''!!!fixed''' [[Лемма Огдена]] (710) </li>
# Источники информации добавить
# Добавить пример не КС-языка, который удовлетворяет условию этой леммы
# ''fixed'' [[Перечислимые языки]] (2)
## Добавить содержательный пример коперечислимого языка
# ''взялиfixed'' [[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]] (2.5)
## Убрать лишние знаки препинания из списков в теоремах
## Заменить литературу на источники информации
<li> [[Игра «Жизнь»]] </li>
<li> [[Неразрешимость игры Braid]] </li>
<li> '''взялиfixed''' [[Теорема Райса-Шапиро]] (8) </li>
# Англоязычные термины
# Отформатировать псевдокоды
