Definition:Language
Jump to navigation
Jump to search
Definition
A language is a tool for the transmission and communication of information.
Natural Language
A natural language is one of the conventional, everyday languages in which people usually communicate.
Although there are many natural languages in the world, we are not generally going to distinguish between them, merely lumping them all into the one concept.
When natural language is referred to on $\mathsf{Pr} \infty \mathsf{fWiki}$, it will usually mean English.
Formal Language
A formal language is a structure $\LL$ which comprises:
- A set of symbols $\AA$ called the alphabet of $\LL$
- A collation system with the unique readability property for $\AA$
- A formal grammar that determines which collations belong to the formal language and which do not.
Also see
- Definition:Signature (Logic), often called language in model theory.
- Results about languages can be found here.
Sources
- 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): language
![]() | This page has been identified as a candidate for refactoring of basic complexity. In particular: The above reference defines a language as a formal calculus endowed with a semantic interpretation -- and so differs from a formal language. Will review, may just be able to drop it directly in place here. Until this has been finished, please leave {{Refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code. |