Instructor:
Franklyn Turbak (call me "Lyn")
Office: SCI E126 (x3049)
Email: fturbak asperand hillary-clinton-alma-mater dot edu
Web: http://cs.wellesley.edu/~fturbak
Office Hours (held in SCI 257 this semester): Mon 2:40–5pm, Tue 1:30–4pm, Wed 4–6pm (Note: I will sometimes need to reschedule office hours to attend talks/meetings.) I will also answer questions after lectures. Appointments can be made for other times.

Lectures: Tue/Wed/Fri 9:50--11am in SCI 257

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

Drop-in Tutor: Amanda Daigle '12, hours TBA.


Announcements & collaboration: http://groups.google.com/group/wellesley-cs235-fall11

Q&A: http://piazza.com/class#fall2011/cs235 (after you've responded to my invite)

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 2009 draft (in progress)