Introduction to the Theory of ComputationIntroduction to the Theory of Computation is a textbook in theoretical [computer science], written by Michael Sipser and first published by PWS Publishing in 1997. The third edition appeared in July 2012.