15-453 Formal Languages, Automata, and Computation
Lecture 13: Review

In preparation for the midterm examination, we review the basic models of computation and classes of languages we have seen so far. We also recapitulate basic proof techniques and heuristics for designing grammars, automata, or showing that they do not exist.