Theory of Computing These are my notes for the Theory of Computing course, taught by Professor Harvey Nick (see site). Motivation Finite Automata The Pumping Lemma Push-down Automata Turing Machines Encodings Cardinality Turing Machine Reductions