Definition:Sign (Formal Systems)

From ProofWiki
Jump to: navigation, search

Definition

A sign of a formal language is a symbol which has a specific meaning in the language.


Signs form part of the alphabet of a formal language.


Also see

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

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