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 6 subcategories, out of 6 total.
Pages in category "Definitions/Formal Languages"
The following 54 pages are in this category, out of 54 total.
B
- Definition:Backus-Naur Form
- Definition:Backus-Naur Form/Alphabet
- Definition:Backus-Naur Form/Non-Terminal
- Definition:Backus-Naur Form/Rules of Formation
- Definition:Backus-Naur Form/Specification
- Definition:Backus-Naur Form/Terminal
- Definition:Bottom-Up
- Definition:Bottom-Up Form of Top-Down Grammar
- Definition:Bottom-Up Grammar
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