Wenn ein Zustand ein leeres Wort erzeugt kann ich Lamda weglassen?

Question

Hallo,

Wenn ein Zustand, der kein Startzustand ist, ein leere Wort erzeugt,

z.B A -> aC / aB/b/ Lambda, kann ich direkt Lambda weglassen? Oder brauche ich auch ein neue A1mit A1->A/Lambda  und A -> aC / aB/b?

Damit wir gewährleisten können, dass A ein leere Wort erzeugen kann.

Danke!

 

Answer 1

Hallo,

schaue dir für diese Frage am besten mal die Lösung der Aufgabe 78 an.

Wie du siehst, kannst du das Lambda nicht einfach weg lassen. Du musst in allen Übergangsfunktionen gewährleisten, dass das jeweilige Nonterminalsymbol (in diesem Beispiel das B) einfach wegfallen kann. Dazu fügst du quasi die gleiche rechte Seite jeweils nochmal hinzu, nur dass dabei dann das entsprechende Symbol (hier B) weggelassen wird.

Viele Grüße

Lukas