Formal models of computation, including finite state automata, Turing machines, recursive functions, formal grammars, and abstract complexity theory.