kontextfreie Grammatik

Neue Frage »

Auf diesen Beitrag antworten »
sk12345 kontextfreie Grammatik

Meine Frage:
Gegeben ist folgende kontextfreie Grammatik G mit Startsymbol S:
S -> AB
A -> aAbb|c
B -> cB|dB|e (e ist in diesem Fall epsilon)

Ist

aacbbbbc

ableitbar?

Wenn es geht muss ich auch eine Ableitung angeben. Kann mir jemand helfen?


Meine Ideen:
Vielleicht wäre auch ein Ableitungsbaum hilfreich, weil verstehen tue ich es nicht.
 
Auf diesen Beitrag antworten »
eulerscheZahl

Sagt dir der CYK Algorithmus etwas?
Auf diesen Beitrag antworten »
sk12345

Ne leider nicht. unglücklich
Auf diesen Beitrag antworten »
eulerscheZahl

Egal, dann argumentiere ich anders:
Der erste Schritt ist klar: S -> AB
Das A kann jetzt entweder zu aAbb oder zu c werden. Da das herzuleitende Wort mit a anfängt, muss es aAbb sein.
AB -> aAbbB -> aaAbbbbB
jetzt brauchst du ein c, also: aaAbbbbB -> aacbbbbB
Fehlt noch ein c am Ende. Mit B -> cB geht das: aacbbbbcB. Das B kriegst du durch den Epsilonübergang weg, also ist aacbbbbc ableitbar.
 
Auf diesen Beitrag antworten »
sk12345

Vielen Dank
Auf diesen Beitrag antworten »
sk12345

ich habe jetzt cdc abgeleitet mit G und S, stimmt es so:

S-> AB -> cB -> cdB -> cdcB -> cdc
Auf diesen Beitrag antworten »
eulerscheZahl

Ja, das passt so.
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »