Definition:Formal Language/Alphabet/Sign
< Definition:Formal Language | Alphabet(Redirected from Definition:Sign (Formal Systems))
Jump to navigation
Jump to search
Definition
A sign of a formal language $\LL$ is a symbol whose primary purpose is to structure the language.
In building a formal language, signs form the hooks allowing the formal grammar to define the well-formed formulae of the formal language.
Common examples of signs are parentheses, "(" and ")", and the comma, ",".
The logical connectives are also signs.
Signs form part of the alphabet of a formal language.
Unlike the letters, they must be the same for each signature for the language.
Also see
Compare with letters, which also form part of the alphabet.
Sources
- 1968: Nicolas Bourbaki: Theory of Sets ... (next): Chapter $\text I$: Description of Formal Mathematics: $1$. Terms and Relations: $1$. Signs and Assemblies