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, Comments (Definitions, proof techniques, DFAs)

Problem Set 2: Assignment, Comments (NFAs, regular languages)

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

Problem Set 4: Assignment, Comments (Turing machines)

Problem Set 5: Assignment, Comments (Undecidability)

Problem Set 6: Assignment, Comments (Complexity)