Introduction to the Theory of Computation

{{sources exist|date=December 2024}}

{{italic title}}

Introduction to the Theory of Computation ({{ISBN|0-534-95097-3}}) is a textbook in theoretical computer science, written by Michael Sipser and first published by PWS Publishing in 1997.{{citation|first=Lance|last=Fortnow|authorlink=Lance Fortnow|title=Review: Michael Sipser, Introduction to the Theory of Computation|journal=Journal of Symbolic Logic|volume=64|issue=1|page=403|year=1999|url=http://projecteuclid.org/euclid.jsl/1183745719|doi=10.2307/2586778}}. The third edition appeared in July 2012.