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

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

Алгоритмические проблемы
Машины Тьюринга
Разрешимые и перечислимые множества
Массовые задачи
Грамматики типа 0
Проблема соответствий Поста
Содержание раздела