Category:Words (Formal Systems)

From ProofWiki
Jump to navigation Jump to search

This category contains results about words in the context of formal systems.
Definitions specific to this category can be found in Definitions/Words (Formal Systems).


Let $\AA$ be an alphabet.


A word in $\AA$ is a juxtaposition of finitely many (primitive) symbols of $\AA$.

Words are the most ubiquitous of collations used for formal languages.

This category currently contains no pages or media.