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