"Automata and Computability " - читать интересную книгу автора (Dexter C. Kozen)