"Машины Тьюринга и рекурсивные функции" - читать интересную книгу автора (Эббинхауз, Якобс, Ман,...)