[jholman]

Any decent CS program should contain such a course, sure, but it is probably not in the required curriculum, and it's probably not taken by very many students.

As for names, at SFU (my alma mater) it's called "Formal Languages and Automata". Well, actually, there are actually about half a dozen courses covering parts of this material, but that's the most-perfect match for what you described.