Formal languages, automata theory, regular expressions, context-free grammars, Turing machines, decidability, and computational complexity.