Definition:Word (Formal Systems)

From ProofWiki
Jump to navigation Jump to search

This page is about Word in the context of formal systems. For other uses, see Word.


Let $\AA$ be an alphabet.

Then 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.

Also known as

Different treatments of formal languages use different terms for word.

Examples include formula, sentence and string.

However, these alternatives conflict with the concepts logical formula, sentence and string, respectively, in the scope of this site; therefore, their use is discouraged.

It is useful to note that in this context word is a synonym for finite string.

Also see