"Formal Languages" not programming languages. Theory of Computation might be that. Pretty much Formal Languages is all state machines. It's the math theory for compilers. Minus the compiler part.That's theory of computation.
If you hadn't noticed, this is Forum 2.0