Franklyn Turbak (call me "Lyn")
Office: SCI E126 (x3049)
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

Michael Sipser's
Introduction to the
Theory of Computation

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

Fall 2007 draft
Fall 2009 draft (in progress)