CS 302 – Formal Languages and Automata Theory
CS 407 – Theory of Computation
CS 503 – Theory of Computation