formal language

noun

UK /ˈfɔː.məl ˈlæŋ.ɡwɪdʒ/

US /ˈfɔːr.məl ˈlæŋ.ɡwɪdʒ/

A formal language is a set of words or symbols that follow strict rules.

In computer science, a formal language is defined by precise grammar rules.

SYNONYMS

artificial language symbolic language rule-governed language formal system

RELATED WORDS

grammar syntax automaton formal grammar symbol

OTHER MEANINGS

2. Language that is polite and serious, used in official situations.

The letter was written in formal language suitable for a business setting.

3. A language used for ceremonies or official documents rather than everyday talk.

Legal documents often use formal language that is hard for beginners to understand.

4. In mathematics and logic, a language whose expressions are built from a fixed alphabet using precise formation rules.

Propositional logic is studied as a formal language with symbols and well-formed formulas.