Машина Тьюринга, разрешимость, перечислимость (литература)

[ShMaxG]

Ищутся книги (в электронном виде), где можно найти много примеров задач на машину Тьюринга (с решениями): задачи на разрешимость, перечислимость и пр.

[Профессор Снэйп]

http://lib.mexmat.ru/books/76

[ShMaxG]

Спасибо!

[Профессор Снэйп]

Я бы ещё очень посоветовал почитать классическую монографию Роджерса.

http://lib.mexmat.ru/books/9157

Про машины Тьюринга там почти ничего нет, но про разрешимость и перечислимость --- очень много всего В том числе и задачи в конце каждой главы. Правда, без решений