The required textbook for the course is Introduction to the Theory of Computation by Michael Sipser, PWS, 1997.