3622
правки
Изменения
Нет описания правки
Тикеты индексируются как "X-Y", где X — номер раздела, а Y — номер конспекта в разделе
# [[Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками]]
# [[Регулярные языки: два определения и их эквивалентность]]
## Да и вообще всё рассуждение какое-то сумбурное и нечёткое {{---}} переписать
== 2. Контекстно-свободные грамматики (проверяются) ==
# [[Формальные грамматики]]
## Пояснить пример контекстно-зависимой грамматики
## Добавить источники информации
== 3. Теория вычислимости (проверяется) ==
=== Разрешимые и перечислимые языки ===
# '''fixed''' [[Разрешимые (рекурсивные) языки]]