LARA

Theory of Computation Courses and Books

  • Michael Sipser: Introduction to the Theory of Computation, 1987 (take later edition)
  • Harry R. Lewis and Christos H. Papadimitriou: Elements of the Theory of Computation, Prentice-Hall, 1981 (better take this earlier edition than later ones)
  • Dexter Kozen: Theory of Computation, Springer, 2006 (somewhat advanced)