Typ 1 Grammatik angeben

Neue Frage »

Auf diesen Beitrag antworten »
Pampelmuse Typ 1 Grammatik angeben

Hallo,
habe ein Problem ich möchte zu L={a^i b^j c^k | i,j,k >= 1 und (2i=j und 2j=k)}

eine Grammatik vom Typ 1 (kontextsensitiv) angeben, die die Sprache L erzeugt.

Ich versuch dies mit Abbildungen finde aber nix wegen der abhängigkeit von einander.

Also für a^n b^2n

a^n b^2n kriege ich das noch hin durch
S-> aSbb |abb

Aber mir fällt nix für
a^n b^2n c^4n ein .
 
Auf diesen Beitrag antworten »
kiste

Mhh wie wärs mit

S-> aSbbC |abbcccc
Cb -> bC
Cc -> cC
cC -> ccccc
Auf diesen Beitrag antworten »
Pampelmuse

S-> aSbbC |abbcccc
so läßt sich doch
aabbccccbbC erstellen dies ist aber nicht in der Sprache.
Werde die Lösung der Übungsgruppe demnächst hier präsentieren.
Auf diesen Beitrag antworten »
qwertz

Bei solchen Sprachen empfiehlt sich immer die Verwendung von Läufervariablen (hier: Y,Z).

Folgende Grammatik müsste funktionieren:

S -> abbcccc | aXbbcccc

Xb -> bY

Yb -> bY

Yc -> Zbbccccc

bZ -> Zb

aZ -> aa | aaX

Ich hatte keine Zeit das ausführlich zu testen, aber bis i=3 funktioniert sie, also gehe ich mal davon aus, dass sie auch für i>3 geht.
 
Auf diesen Beitrag antworten »
Pampelmuse

Passt alles ganz gut.
Das ist der Hammer wäre überhaupt nicht darauf gekommen , nicht schlecht danke für den Beitrag.
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »