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