[help]Formale Grammatik

Hu!

Ich sitz hier grad vor einem Problem mit formaler Grammatik:

Code:

 
G = ({E, T }, {x, y, ⊕, z  , (, )}, E, Π}

{E,T} sind die nichtterminale
{x,...(,)} sind die terminale
E ist der Start
und pi sind nachfolgende regeln



E → E ⊕ E
E → T
T → T z T
T → (E)
T → x
T → y

jetzt soll ich zeigen, dass das wort ω = x ⊕ (y ⊕ (x ⊕ x) z y) mit dieser Grammatik erzeugt werden kann.

Mein anlauf war jetzt #
E -> E + E -> T + E -> T z T + E -> (E) z (E) + E usw aber das geht unendlich weit und ich komm nie bei den Terminalsymbolen an.

Hat da wer einen Plan davon?
Das Bsp auf wikipedia hab ich gecheckt, aber das hier will nicht

Tia

Armin

edit: habs; falls es wen interessiert: wenn man nicht einfach draufloswerkt sonder sich eher rueckwaerts vom wort arbeitet kommt man hin

ich bin 1) froh dass ich das hinter mit hab und 2) froh dass mein hirn das verdrängt hat und ich nimmer genau weiss wie das geht

Pillwein heisst die Kollegin. Ist neu an der Uni und hat bissi viel Elan

edit: Viel elan im vergleich zum alten prof, der einfach 5 nachtermine gemacht hat, bis sich die klausuren widerholt haben
(und ich gschicktrweise gedacht hab, des mach ich irgendwann einfach mal)

edit2: habs

Zitat von COLOSSUS

Schon eine Weile her, aber wie sieht das aus?

Code:

E

E + E

T + E

T + T

T + (E)

T + (E + E)

T + (T + E)

T + (T + T)

T + (T + T z T)

T + (T + (E) z T)

T + (T + (E + E) z T)

T + (T + (T + E) z T)

T + (T + (T + T) z T)

[...]

x + (y + (x + x) z y)

Edith meint: vielleicht reicht's ja zum Vergleich

jup genau so hab ichs auch, besten dank!