"вычислимость по Тьюнингу"
В цитаты!
Ну а по поводу литературы вот:
Хопкрофт, Мотвани, Ульман. "Введение в теорию автоматов, языков и вычислений", гл. 8 и далее
Эббинхаус, Якобс, Ман, Хермес. "Машины Тьюринга и рекурсивные функции"
Кратко: Кузюрин, Фомин "Эффективные алгоритмы и сложность вычислений",

6.1
Это что касается ташин Тьюринга.
Еще по вопросам вычислимости:
Роджерс "Теория рекурсивных функций и рекурсивная вычислимость"
Верещагин, Шень "Вычислимые функции"