|
|
hi,
eine rechtslineare Grammatik zu einem Endlichen Automaten zu finden ist nicht so schwer.
Aber wie findet man eine linkslineare Grammatik zu einem vorgegebenen Zustandsdiagramm??
Eine Regel besagt:
Anzahl der Variablen = Anzahl der Zustände
Aber oft sehe ich, dass man z.B. zu nem 4-Zustände-Automat, nur 3 Variablen für die Grammatik benutzt. Wieso??
Lässt man da vielleicht den Endzustand weg, da man denkt dieser wäre überflüssig?
Da kommen wir schon zur nächsten frage: Woran sieht man wann Symbole oder Zustände überflüssig sind für eine Grammatik? Wieso ist der Endzustand scheinbar überflüssig?
Und bei der linkslinearen Grammatik, arbeitet man sich anscheinend einfach von hinten (Endzustand) nach vorne durch beim Zustandsdiagramm.
Aber wie genau ist das bei Produktionen mit einzelnen Terminalen,
wie z.B. A -> b. Was genau bedeuten diese? Dass A über b auf einen Endzustand gelangt?
Würde mich sehr über Antworten freuen, da ich bald Prüfung schreibe. ^^"
Danke im Voraus.
|
|
