Zusammenfassen der Regeln möglich?

Question

Hallo,

wenn ich in

\( S \rightarrow A|A-S \); \(A\) durch \(x|aSa|bSb|A-S\) ersetz habe, kann ich dann die Zeile \( A \rightarrow x|aAa|bAb \) löschen?

In manchen Bsp. wird die Zeile die man ersetzt hat gelöscht in manchen bleibt es stehen.

Verstehe nicht warum...

Danke für die Antwort!

 

Answer 1

Zunächst: ich kann nicht nachvollziehen, wie du auf \(x|aSa|bSb\) kommst. Ersetzen von \(S\rightarrow A\) mit  den Produktionen, bei denen \(A\) links steht, führt auf \( S\rightarrow x|aAa|bAb\) . Was hast du noch gemacht?

Kannst du eine Aufgabe nennen, in der die Zeile gelöscht wird? Ohne eine solche Aufgabe gesehen zu haben, vermute ich, dass dort das Zeichen, das in der gelöschten Produktion links stand, auf keiner rechten Seite mehr vorkam und die betroffene Produktion daher überflüssig geworden ist.

Bei dieser Aufgabe darfst du \(A \rightarrow \) ... nicht löschen, da du sonst das \(A\), das z.B. bei der Anwendung von  \(S\rightarrow S-A\) entsteht, nicht in Terminalsymbole umwandelnt kannst!

Gruß,

Tobias (Tutor)