Alternative Lösung auch korrekt?

Question

Wäre 

{S->01A

A->0A|1A|lambdaC

C->01}

auch korrekt? 

Ich frage eigentlich deshalb, weil ich wissen möchte, ob ich 2 Terminalsymbole (TS) vor einem NTS schreiben darf.

Und ob ich lambda vor einem NTS schreiben darf. 

In meiner Lösung möchte ich damit bezwecken, dass eben auch direkt von A ohne zufügen eines Buchstaben 0/1 direkt zu C gegangen wird sodass auch Wörter der Länge 4 erkannt werden können. Oder könnte ich dann das lambda vor dem C auch einfach weglassen?

Danke

Answer 1

Hallo, 

bereits in der ersten Zeile : S --> 01A verletzt du die Regeln für Rechstlineare Grammatiken.

'nur Produktionen der Form: A --> lambda ; A --> a oder A--> aB' vergl.: erstes Kapitel der VL-Folien

In der Aufgabenstellung ist explizit nach einer rechstlinearen G gefragt, somit würde deine G zwar die korrekte Sprache erzeugen aber nicht den korrekten Typ aufweisen.

Das mit dem lambda ist auch nicht so schön, weil es ja auch nicht Element deiner Terminalsymbolmenge ist und somit nicht wirklich ein Terminalsymbol. Somit verstößt du mit deiner Umbenennung (A --> C ) wieder gegen die Rechstlinearität. 

Abkürzen könntest du eleganter, indem du gleich die Regel A-->01 hinzufügst - aber Achtung: wieder nicht rechtslinear!

LG

Basti(Tutor)