Theoretical computer science
Formal languages are the way to communicate with a given automaton. Most of the time, the question is whether the automaton will accept a word of a formal language, that is, when the word is fed into the automaton, the automaton will end up in an exit state. Semantics are used to talk about the grammars of such languages, and how they are constructed.