Definition:Letter (Formal Systems)

From ProofWiki
Jump to: navigation, search

Definition

A letter of a formal language is a more or less arbitrary symbol whose definition depends on the specific context.

Depending on the nature of the formal language, and the particular location in whatever word in which it occurs, the interpretation of the letter may vary.


Letters form the vocabulary of the alphabet of a formal language.


Also see

Compare with signs, which also form part of the alphabet.

Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense