A Mathematical Primer On Computability

Download or read book Introduction to the Theory of Computation written by Michael Sipser and published by Thomson/Course Technology. This book was released on 2006 with total page 437 pages. Available in PDF, EPUB and Kindle. Book excerpt: "Intended as an upper-level undergraduate or introductory graduate text in computer science theory," this book lucidly covers the key concepts and theorems of the theory of computation. The presentation is remarkably clear; for example, the "proof idea," which offers the reader an intuitive feel for how the proof was constructed, accompanies many of the theorems and a proof. Introduction to the Theory of Computation covers the usual topics for this type of text plus it features a solid section on complexity theory--including an entire chapter on space complexity. The final chapter introduces more advanced topics, such as the discussion of complexity classes associated with probabilistic algorithms.