|
|
Meine Frage:
Die kontextfreie Grammatik lautet:
S -> A | B
A -> aAa | abAb | bAc | aca | abcb | bcc
B -> bBa | aBb | babBc | bca | acb | babcc
Beweisen Sie entweder die Eindeutigkeit oder geben Sie zwei verschiedene Linksableitungen
fur dasselbe Wort an.
Meine Ideen:
Guten Tag,
habe eine Frage zu meine Hausaufgabe.
Es ist gefragt ob eine gegebene kontextfreie Grammatik G eindeutig ist.
Ich weiß dass eine Sprache eindeutig ist wenn es nur einen Ableitungsbaum für jedes Wort aus der Sprache gibt oder nur eine mögliche Linksableitung für ein Wort gibt, aber es ist kein Wort gegeben und ich weiß nicht wie man das formal richtig aufschreiben soll.
Ich hatte mir überlegt die Aufgabe mir der Post'sche Korrespondenzproblem vielleicht anzugehen, weiß aber nicht wie man vorgehen soll. Hoffe mir kann einer helfen.
Vielen Dank im Voraus.
|
|
