"Computability, Complexity and Languages: Fundamentals of Theoretical Computer Science (Computer Science and Applied Mathematics)" - читать интересную книгу автора (Martin Davis, Elaine J. Weyuker)