|
|
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.
__________________
Syntax Highlighting fürs Board (Link)
|
|
