"Computability, complexity, and languages: Fundamentals of theoretical computer science" - читать интересную книгу автора (Davis M., Sigal R., Weyuker E.)