formal language
Noun
Meaning
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
Antonyms
Show all antonymsExamples
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.
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).
A formal language can be thought of as identical to the set of its well-formed formulas.
Although a formal language can be identified with its formulas, a formal system cannot be likewise identified by its theorems.
A theorem may be expressed in a formal language (or "formalized").
An automaton can be a finite representation of a formal language that may be an infinite set.