18.404/6.840:
Introduction to the Theory of Computation
Course homepage
Available only during the fall semester.