Finish up NFA->DFA section
Finish section on push-down automata