ERRATA for Introduction to the Theory of Computation, 3rd Edition

Ordered by date of discovery. Also available in order of appearance in the text.
Last updated 1/21/13. Don't forget to reload this page to get the most current version.
Send additional errors and comments to: sipserbook@math.mit.edu

Page 93, Problem 1.73.
Move this problem to Chapter 2.
Found 7/8/12.

Page 272, Problem 6.28c.
Should be marked as having the solution provided in the text.
Found 7/8/12.

Page 328, Problem 7.52.
Add A homomorphism is nonerasing if f(a) ≠ ε for every a∈Σ, and add nonerasing before homomorphism.
Found 7/8/12.

Page 161, last word of the solution to Problem 2.8.
Change her to him.
Reported 9/12/12 by Alex Arkhipov of MIT.

Page vi, fifth line of section 2.4 entry.
Change LR(k) Grammars to LR(k) grammars.
Found 9/20/12.

Page 92, Problem 1.64.
Part d should have a star to indicate its difficulty.
Reported 10/12/12 by Claude Crépeau of McGill University.

Page 133, third line of proof of Theorem 2.42.
Add it before enters.
Reported 10/30/12 by Sam Stewart of Lewis & Clark College.

Page 253, third paragraph, forth line.
Change xk to xj.
Reported 11/8/12 by Stephan Boyer of MIT.

Page 173, Figure 3.10.
Change the label on state q6 from 0,1,x→L to x→L. (Note, the removed transitions are not necessary.)
Reported 12/4/12 by Adam Wall.

Page 212, Problem 4.31.
Change CFL G to CFG G. Change wG to wL(G).
Reported 12/11/12 by Cem Say of Boğaziçi University, Istanbul, Turkey.
Index.
Add Homorphism, 93
Reported 12/11/12 by Cem Say of Boğaziçi University, Istanbul, Turkey.