"Theory of Computatio" - читать интересную книгу автора (Dexter C. Kozen)