Category:Formal Languages
Jump to navigation
Jump to search
This category contains results about Formal Languages.
Definitions specific to this category can be found in Definitions/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 11 subcategories, out of 11 total.
A
B
- Backus-Naur Form (empty)
C
E
- Examples of Formal Languages (5 P)
F
L
- Language of Predicate Logic (1 P)
R
S
- Strings (empty)
- Substrings (2 P)
W
- Well-Formed Formulas (empty)
Pages in category "Formal Languages"
The following 5 pages are in this category, out of 5 total.