"Популярные лекции по математике. Машина Поста" - читать интересную книгу автора (Успенский В.А.)