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