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


         

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


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