Formal Language Theory, also known as Formal Language Science, is a branch of mathematics that studies the structure and properties of formal languages. A formal language is a set of strings, where each string is composed of symbols from a given alphabet. The language can be defined using a set of rules, known as a grammar or syntax.