Required textbook: Michael Sipser. Introduction to the Theory of Computation. Cengage Learning, 3rd edition, 2013.
Readings: A few additional readings may appear here as we progress through the semester, based on student interests and classroom discussions.