cs302: Theory of Computation   Spring 2008

cs302: Theory of Computation

Coach
David Evans
evans@cs.virginia.edu

Assistant Coaches
Suzanne Collier
Qi Mi
Joe Talbott
Wuttisak Trongsiriwat

Class Meetings
Tuesdays and Thursdays
2-3:15pm in Olsson 120
Office Hours (OLS 236A)
Mondays, 2-3pm
Wednesday, 9:30-10:30am
Problem-Solving Sessions (OLS 228E)
Mondays, 5:30-6:30pm
Wednesday, 6-7pm








Problem Sets

Problem Set 1: Assignment (Definitions, proof techniques, DFAs)

Problem Set 2: Assignment (NFAs, regular languages)

Problem Set 3: Assignment (Pushdown automata, grammars, context-free languages)

Problem Set 4: Assignment (Turing machines)

Problem Set 5: Assignment (Undecidability)

Problem Set 6: Assignment (Complexity)