Es sei S {\displaystyle {}S} ein Symbolalphabet, Γ {\displaystyle {}\Gamma } eine Menge an S {\displaystyle {}S} -Ausdrücken
α 1 , … , α n ∈ Γ {\displaystyle {}\alpha _{1},\ldots ,\alpha _{n}\in \Gamma } derart gibt, dass
gilt.