18.404/6.840 Fall 2019
Introduction to the Theory of Computation

Please submit your COURSE EVALUATION by Monday, December 16 at 9am.


Information and Homework Handouts

** NOTE: Solutions on this page are accessible only from within MIT.
If you are off campus and you are a class member with an MIT certificate, you can also find the solutions on STELLAR.

Homework submission instructions. Upload a single file with all problems to Gradescope, before the due date. When Gradescope prompts you, mark the pages containing each problem.

Late homework submission. You may submit any individual problems after the due date, before 11:59pm the following day, for a 1 point per problem late penalty deduction. In each p-set, you may submit some problems on time and some late. At 2:30pm on the due date, the regular Gradescope assignment will close and a new "late submission" assignment will appear. Please upload only those problems you wish to be counted as late. You may resubmit problems you submitted previously if you wish to change your answer, but these will be marked late and get the 1 point penalty. DO NOT RESUBMIT UNCHANGED PROBLEMS you submitted previously. The late submissions will override earlier submissions. Note: We cannot accept unexcused (see "Student Support" below) homework after the late submission deadline.

Course Staff

Staff Office Hours

Lectures and Recitation Sections

Lectures are held in room 54-100 on Tuesdays and Thursdays from 2:30 to 4:00.
The one-hour recitations meet Fridays in room 2-139 (except the 1pm recitation) at the following times:

Recitation Notes

Exam Schedule

Midterm exam: Thursday, October 24, 2019, 2:30 - 4pm, top floor in Walker (Building 50).
Final exam: Tuesday, December 17, 2019, 9am - noon, Johnson Track.


Introduction to the Theory of Computation, 3rd edition, Sipser, published by Cengage, 2013. It has an errata web site. You may use the 2nd edition, but it is missing some additional practice problems. You may use the International Edition, but it numbers a few of the problems differently.

Student Support

If you are dealing with a personal or medical issue that may affect your participation in any MIT class, please discuss it with Student Support Services (S3) in 5-104 at 617-253-4861. They have walk-in hours M-F 10am-11am and 2pm-3pm, and a Dean on Call 5pm-9am weekdays and 24 hours on weekends at 617-253-1212 or 100 from campus phones. We cannot excuse you from coursework without support from S3.

If you may require disability accommodations, please speak early in the semester with Associate Dean Kathleen Monagle in 5-104 at 617-253-1473 and then let me know so that we can work together to get your accommodation logistics in place.