"Introduction to the Theory of Computation" - читать интересную книгу автора (Michael Sipser)