A text on computational theory. It provides a mathematical treatment of computer science theory designed around theorems and proofs.[...]
Now you can clearly present even the most complex computational theory topics to your students with Sipser's distinct, market-leading "Introduction to the Theory of Computation, 3E, International Edition". The number one choice for today's computational theory course, this highly anticipated revisio[...]