"A recursive introduction to the theory of computation" - читать интересную книгу автора (Smith C.)