Category:Definitions/Formal Languages
Jump to navigation
Jump to search
This category contains definitions related to Formal Languages.
Related results can be found in Category:Formal Languages.
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.
Subcategories
This category has the following 8 subcategories, out of 8 total.
Pages in category "Definitions/Formal Languages"
The following 51 pages are in this category, out of 51 total.
B
F
L
P
S
- Definition:Scope of Occurrence
- Definition:Sign (Formal Systems)
- Definition:Signature (Logic)
- Definition:Subformula
- Definition:Substitution (Formal Systems)
- Definition:Substitution (Formal Systems)/Letter
- Definition:Substitution (Formal Systems)/Notation
- Definition:Substitution (Formal Systems)/Well-Formed Part
- Definition:Substitution (Formal Systems)/Well-Formed Part/Example
- Definition:Substitution for Letter
- Definition:Substitution for Well-Formed Part
- Definition:Substitution Instance
- Definition:Substring