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