Category:Definitions/Formal Languages

From ProofWiki
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 4 subcategories, out of 4 total.

Pages in category "Definitions/Formal Languages"

The following 57 pages are in this category, out of 57 total.