Hallo ,

wenn ich diese Aufgabe richtig vestanden hab muss man eine CFG konstruieren , die ein Wort nach diesem muster auswirft :

a^n b^n ce^n dc^n .

also quasi a^n b^n c^n d^n , sollte dies so richtig sein , braeuchte ich mal einen Denkanstoss , da es mir nicht gelingt , die Grammatik hinzuschreiben.
Als Grundindee muesste man ja quasi 2 mal pumpen einmal sowas wie
S -> aSb und dazu quasi noch ceSdc.

Danke schonma

a^n b^n c^n d^n

ist nicht kontextfrei, was man spätestens nach ein paar
uvwxy-aufgaben hoffentlich sofort erkennt,

eselsbrücke:
mit kontextfreien grammatiken kann man höchstens 2 sachen
gleichzeitig machen (links und rechts bei N1 -> t N2 t),
also nur 2 dinge gleichzeitig zählen (zum beispiel a^n b^n),

nie 3 oder mehr,
(schwierig wirds bei augenscheinlichen mischformen wie a^x b^y c^x+y,
das lässt sich in diesem fall zum beispiel umformen in a^x b^y c^y c^x)



na jedenfalls ist in der aufgabe nicht

w[h(w)]rev für w =a^n b^n

gefordert, sondern

w[h(w)]rev für w e {a,b}*

ok vielleicht verstehe ich dann
w[h(w)]rev fuer w e (a,b)* falsch ,

w ist doch ein Wort mit beliebig vielen a und beliebig vielen b.
Also meinetwegen w=a^n b^m
steht also da : a^n b^m[h(a^n b^m)] rev , also
a^n b^m[cd^n ec^m]rev , also
a^n b^m ce^m dc^n ?

Ist das so richtig vestanden ?

für die teilmenge w = a^n b^m ist a^n b^m ce^m dc^n
die korrekte entsprechende wortmenge, die die grammatik erzeugen soll, ja

allerdings soll die grammatik auch andere wörter beherrschen,
etwa w = aabababbabbbababab,
also nicht nur erst a und dann b, sondern auch gemischt,

ich versteh' nicht so recht wieso du die beiden fälle trennst,
wenn du schon den unterschied zwischen a^n b^m und w e {a,b}* erkannt hast