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

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 2008 draft