Alternativlösung zu a)

Question

Stimmt diese Lösung auch? Das Testwort ist ableitbar

S--> aA / bD / cE

A--> bC / cB

B --> b / bS

C--> c / cS

D--> aC/ cF

F --> a / aS

E --> aB / bF

Comments

Geben Sie die Grammatik am besten als XWizard-Skript an. Wir haben derzeit alle Hände voll zu tun und Sie erleichtern uns die Arbeit damit erheblich.

Answer 1

Hallo,

wie bereits geschrieben würde uns das XWizard Skript sehr helfen.

Allerdings habe ich auch so schon ein Wort gefunden, das nicht durch deine Grammatik erzeugt werden kann, nämlich w=aabbcc.

Generell haben wir das Problem, dass wir mit einer rechtslinearen Grammatik bzw. dessen dazugehörigen endlichen Automaten nicht die Anzahl der einzelnen Zeichen zählen können. Daher geht eben genau die n-fache Hintereinanderschreibung von einem Zeichen in deiner Grammatik nicht.

Du könntest ja zur Übung mal probieren mit dem Pumping-Lemma nachzuweisen, dass du für diese Sprache keine Typ3-Grammatik finden wirst ;)

Viele Grüße,

Tim