"Intro to Finite Theory Automata" or "Intro to Compilers" (which is the practical version of automata) would be on my list. Of course, I am a compiler-guy, but they have been incredibly useful for understanding many problems and solutions not directly related to compilers.