cs302: Theory of Computation
CoachDavid Evansevans@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)