Introduction To The Theory Of Computation"Michael Sipser's philosophy in writing this book is simple: make the subject interesting and relevant, and the students will learn. His emphasis on unifying computer science theory  rather than offering a collection of lowlevel details  sets the book apart, as do his intuitive explanations. Throughout the book, Sipser  a noted authority on the theory of computation  builds students' knowledge of conceptual tools used in computer science, the aesthetic sense they need to create elegant systems, and the ability to think through problems on their own. INTRODUCTION TO THE THEORY OF COMPUTATION provides a mathematical treatment of computation theory grounded in theorems and proofs. Proofs are presented with a "proof idea" component to reveal the concepts underpinning the formalism. Algorithms are presented using prose instead of pseudocode to focus attention on the algorithms themselves, rather than on specific computational models. Topic coverage, terminology, and order of presentation are traditional for an upperlevel course in computer science theory. Users of the Preliminary Edition (now out of print) will be interested to note several new chapters on complexity theory: Chapter 8 on space complexity; Chapter 9 on provable intractability, and Chapter 10 on advanced topics, including approximation algorithms, alternation, interactive proof systems, cryptography, and parallel computing."Publisher's description. 
What people are saying  Write a review
User ratings
5 stars 
 
4 stars 
 
3 stars 
 
2 stars 
 
1 star 

Review: Introduction to the Theory of Computation
User Review  Juliusz Gonera  GoodreadsVery accessible intro to the theory of computation. Read full review
Review: Introduction to the Theory of Computation
User Review  Shawn  GoodreadsI recently took a Finite Automata course in which we actually only covered about half of the material presented in the book. It was very wellwritten and for the most part pretty easy to follow. I'm ... Read full review