Noun
formal language (plural formal languages)
(computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet).
Hyponym: regular language
Holonym: formal system
Meronyms: alphabet, symbol, word
The language that photography has is a formal language. Any photographer is doing something formal. If it's formal, then it must be an aesthetic way to communicate. Sebastiao Salgado
A formal system (also called a logical calculus, or a logical system) consists of a formal language together with a deductive apparatus (also called a deductive system). Source: Internet
A formal language can be thought of as identical to the set of its well-formed formulas. Source: Internet
Although a formal language can be identified with its formulas, a formal system cannot be likewise identified by its theorems. Source: Internet
A theorem may be expressed in a formal language (or "formalized"). Source: Internet
An automaton can be a finite representation of a formal language that may be an infinite set. Source: Internet