Category:Definitions/Alphabets (Formal Language)

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to alphabets in the context of Formal Language.
Related results can be found in Category:Alphabets (Formal Language).

Let $\LL$ be a formal language.

The alphabet $\AA$ of $\LL$ is a set of symbols from which collations in $\LL$ may be constructed.

An alphabet consists of the following parts:

The letters
The signs.