|
Franklyn Turbak (call me "Lyn") Office: SCI E126 (x3049) Web: http://cs.wellesley.edu/~fturbak Office Hours: Tue 12:30am–2pm, Wed 4–6pm, Thu 12:30–2pm, Fri 1:30pm–4pm (often later) |
Lectures: Tue/Wed/Fri 11:10--12:30am in SCI 104 (Tue/Fri) and SCI 160a (Wed)
Prereqs: CS230 and (Math 225 or permission of instructor)
FirstClass: CS235-01-F09
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) |