Category:Definitions/Words (Formal Systems)

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to words in the context of formal systems.
Related results can be found in Category: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.

Pages in category "Definitions/Words (Formal Systems)"

The following 2 pages are in this category, out of 2 total.