CS380—Theory of Computation—Spring 2015

Syllabus (postscript) (pdf) My Schedule

Hours (D225) Wednesday 2:30–3:30, Friday 10:30–12:00

Class directory

All of the files in this web are also available in the class directory on quark: ~jrogers/cs380/ These are distributed among sub-directories, so you will need to look around with cd and ls.

Schedule

NOTE: The schedule for future classes is always tentative. The schedule will always be driven by what we do in each class. The assignments will be due at the beginning of the class meeting that we finish working on that module; the quizzes will be scheduled for (approximately) the class day following that.

Date In Class Out Due Quizzes Notes
Fri 16/Jan Concepts/A0
Tues 20/Jan Basic Concepts Alphabets, etc.
Fri 23/Jan Basic Concepts Asgn 0, q.2–5
Tues 27/Jan Alphabets, etc. Asgn 0, q.1
Fri 30/Jan Alphabets, etc.
Tues 3/Feb Alphabets, etc. Finite/Local
Fri 6/Feb Finite/Local Plus tail of Alphabets, etc.
Tues 10/Feb Finite/Local Alphabets, etc.
Fri 13/Feb Finite/Local Alphabets, etc.
Tues 17/Feb Finite/Local
Fri 20/Feb Break
Tues 24/Feb Finite/Local
Fri 27/Feb Finite/Local Local Languages 2
Tues 3/Mar Local Languages 2 Finite/Local Also questions about Finite/Local
Fri 6/Mar Local Languages 2 Finite/Local
Tues 10/Mar Local Languages 2 Notes on Regular Languages
Fri 13/Mar Notes on Regular Languages Local Languages 2 Also remaining questions about Local Languages 2
14/Mar–22/Mar Spring Break
Tues 24/Mar Regular Languages Ch 1.1
Fri 27/Mar Regular Exam 1 Fri 27/Mar–Sun 29/Mar
Tues 31/Mar Regular Regular Languages Supplement I
Fri 3/Apr Regular Languages Ch 1.2 Regular Languages Exercises
Tues 7/Apr Regular Languages Ch 1.3 Regular Languages Supplement II
Fri 10/Apr Regular Languages Ch 1.4 Exercises through Section 1.2
Tues 14/Apr Context-Free Grammars (Ch 2.1) Context-free Languages Supplement Rest of Regular Languages Exercises
Fri 17/Apr Push-Down Automata (Ch 2.2)
Tues 21/Apr Non-Context-Free Languages, closure properties Exam 2, Tuesday 21/Apr to Saturday 25/Apr 4:00pm
Fri 24/Apr
Tues 28/Apr Turing Machines (Ch 3.1)
Turing Machines Supplement		 CFL Exercises CFL (Due Fri)
Fri 1/May Computability (Ch 3.2, f.f.)
Ultimate Exam Friday, 1/May, due Wed, 5/May at 10:30 AM
Wed 5/May
10:30AM		 Final Period Self-evaluation Course evaluations are also due

Solutions