Instructor:
Franklyn Turbak (call me "Lyn")
Office: SCI E126 (x3049)
Web: http://cs.wellesley.edu/~fturbak
Office Hours: Mon 3–5pm, Tue 11am–1pm, Thu 11am–1pm, Fri 11am–12:20pm (often later)

Lectures: Mon/Wed/Thu 9:50--11am in SCI 104

Prereqs: CS230 and (Math 225 or permission of instructor)

FirstClass: CS235-01-F08

Textbooks:
(Required)
Michael Sipser's
Introduction to the
Theory of Computation

(Optional)
Dexter Kozen's
Automata and Computability
(Optional)
Alley Stoughton's
Formal Language Theory:
Integrating Experimentation and Proof

Fall 2007 draft
Fall 2008 draft