Similar Posts

Subscribe
Notify of
3 Answers
Oldest
Newest Most Voted
Inline Feedbacks
View all comments
Destranix
2 years ago

Die Ableitungsregeln sind ja an sich klar, da hat ja nur B eine Alternative.

Und ansonsten musst du nur jeweils eines der Nicht-Terminale durch das Ergebnis seiner Ableitungsregel ersetzen.

Trivial machst du das nach Try-And-Error, probierst aus, ob es klappt und wenn nicht, setzt du zurück:

abccdef S      S->aBC
bccdef  aBC    B->b
ccdef   abC    C->aD
ERROR => Rollback
bccdef  aBC    B->dc
ERROR => WORD NOT ACCEPTED

Der Rollback setzt den Zustand zur letzten unüberprüften Alternative zurück. Am Ende haben wir keine solche Alternative mehr und sehen, dass das Wort nicht in der Grammatik vorkommt.

Destranix
2 years ago
Reply to  qed2fwe

Kein Problem, kann passieren.