**cs302: Theory of Computation**

**Coach**David 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 (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)