Ответы на вопросы:
Машина Тьюринга.
Конструирование МТ.
Вычислимые по Тьюрингу функции: ПРФ, ЧРФ.
Правильная вычислимость.
Уточнение понятия алгоритма через машину с неограниченными регистрами.
нормальные алгоритмы Маркова.
Вычислимые функции и разрешимые множества: вычислимость, разрешимость, перечислимость, множество n-ок нат чисел, диагональная конструкция, главные...
Комментарии