Математическая теория формальных языков

Математическая теория формальных языков

Алгоритмически неразрешимые проблемы
Пересечение контекстно-свободных языков

Проблема однозначности
Дополнение контекстно-свободного языка
Проблема автоматности
Проблемы контекстной свободности
Содержание раздела