It's been quite a while, but I believe my school required Automata Theory, which is at least diffeomorphic to Formal Languages.