Automata, languages and expressions, pumping lemmas, Turing machines, computability, decidability, complexity theory, complexity classes, problem reducibility.