Inhärent mehrdeutige Sprache
Eine formale Sprache <math>L</math> heißt inhärent mehrdeutige Sprache, wenn jede formale Grammatik <math>G</math> mit <math>L \left( G \right) = L</math> mehrdeutig ist.
<math>L \left( G \right)</math> steht hierbei für die von der Grammatik <math>G</math> erzeugte Sprache.
Beispiel
Die Sprache <math>L = \{ a^nb^nc^m \;|\; n,m \in \mathbb N_0 \} \cup \{ a^mb^nc^n \;|\; m,n \in \mathbb N_0 \}</math> ist inhärent mehrdeutig, da jeweils die <math>a^ib^ic^i</math> unterschiedliche Syntaxbäume haben.