Formal language

In mathematics, computer science and linguistics, a formal language is one that has a particular set of symbols, and whose expressions are made according to a particular set of rules. The symbol ${\displaystyle {\mathcal {L}}}$ is often used as a variable for formal languages in logic.^[1]

Unlike natural languages, the symbols and formulas in formal languages are syntactically and semantically related to one another in a precise way.^[2] As a result, formal languages are completely (or almost completely) void of ambiguity.^[3]

1. ↑ "Comprehensive List of Logic Symbols". Math Vault. 2020-04-06. Retrieved 2020-10-09.
2. ↑ "Definition of formal language | Dictionary.com". www.dictionary.com. Retrieved 2020-10-09.
3. ↑ "1.11. Formal and Natural Languages — How to Think like a Computer Scientist: Interactive Edition". runestone.academy. Retrieved 2020-10-09.