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