engl.: language

L(Γ) = {z in T* | S ⇒* z} heißt die von Γ erzeugte Sprache.

• Zusammenhang zwischen Sprache und Grammatik: Die Abbildung L : Grammatik → Sprache ist im Allg. nicht injektiv; d.h. zu einer Sprache gibt es im Allg. mehrere erzeugende Grammatiken.
• ⇒* ist die reflexive und transitive Hülle von ⇒.