We communicate every day through languages; not only human languages, but other things that could be classified as languages such as internet protocols, or even the structure of business transactions. The structure of words or sentences, or their metaphorical equivalents, in that language is known as their syntax. There is a way to describe certain syntaxes mathematically through what are known as formal grammars. So how is a grammar defined mathematically? What model of language is often used in math? And what are the fundamental limits of grammar?