Inhärent mehrdeutige Sprache

Eine formale Sprache $L$ heißt inhärent mehrdeutige Sprache, wenn jede formale Grammatik $G$ mit $L\left(G\right)=L$ mehrdeutig ist.

$L\left(G\right)$ steht hierbei für die von der Grammatik $G$ erzeugte Sprache.

Beispiel

Die Sprache $L=\{a^{n}b^{n}c^{m}\;|\;n,m\in \mathbb {N} _{0}\}\cup \{a^{m}b^{n}c^{n}\;|\;m,n\in \mathbb {N} _{0}\}$ ist inhärent mehrdeutig, da jeweils die $a^{i}b^{i}c^{i}$ unterschiedliche Syntaxbäume haben.

Siehe auch

• Rechtsableitung