From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Collations.
Related results can be found in Category:Collations.

A collation is a structured alignment with certain placeholders that underpins the construction of formal languages.

These placeholders may be replaced by elements of an alphabet $\AA$ under consideration.

A collation in $\AA$ is one where all placeholders are replaced by symbols from $\AA$.