Definition:Formal Language/Alphabet/Letter/Vocabulary

From ProofWiki
Jump to navigation Jump to search

Definition

The vocabulary of a formal language is the collection of all of its letters.

As such, it forms part of the alphabet of this language.


Each signature for the language may have a different vocabulary.

However, different signatures only have different members of the respective classes of symbols comprising the alphabet, rather than introducing new such classes.


Also see