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