Inhärent mehrdeutige Sprache

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

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

Die Sprache ${\displaystyle 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}\}}${\displaystyle 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 ${\displaystyle a^{i}b^{i}c^{i}}${\displaystyle a^{i}b^{i}c^{i}} unterschiedliche Syntaxbäume haben.

• Rechtsableitung

• Theorie formaler Sprachen