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 |