Advanced topics in formal languages, automata, computability, computational complexity. Pre: 441 or consent.