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