Introduction to the Theory of Computation

Cover image of product

Author : Michael Sipser


400 Pages  Hardcover 

2nd Edition  |  Previous Editions: 1997, 1996

©2006 , Published


Learn More

This highly anticipated revision builds upon the strengths of the previous edition. Sipser's candid, crystal-clear style allows students at every level to understand and enjoy this field.


Revised for currency with updated examples and end-of-chapter exercises that review definitions, concepts, and problems to challenge and extend students� understanding.

Provides both formal and informal definitions and descriptions of methods to increase student retention.

Includes Worked Out Exam... more

New to this Edition

Covers the foundations of theoretical computing designed around theorems and proofs.