Definition:Collation

Definition
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 $\mathcal A$ under consideration.

Typical examples of collations are words or structured graphics like labelled trees.

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