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