Inhalt
Inhaltsverzeichnis
Aufbau
Ein RTN besteht aus einer Menge endlicher Automaten, mit deren Hilfe ein Satz erkannt bzw. konstruiert werden kann. Mathematischwird ein RTN als 6-Tuple beschrieben: G = (N,T,S,NETS,A,E).Hierbei ist N die Menge der nichtterminalen= Aufbau = Ein RTN besteht aus einer Menge endlicher Automaten, mit deren Hilfe ein Satz erkannt bzw. konstruiert werden kann. Mathematischwird ein RTN als 6-Tuple beschrieben: G = (N,T,S,NETS,A,E).Hierbei ist N die Menge der nichtterminalen Symbole, T die der terminalen, S das Startsymbol (z.B. Satz), NETS die mengeder endlichen Automaten inklusive der aktuellen Zustände, A die Menge der Anfangszustände und E die der Endzustände.
Schrittweises erkennen
In einer RTN werden 3 Prüfungen immer wieder durchgeführt, bis keine Kante mehr beschritten werden kann und der erreichteZustand zur Menge der Endzustände gehört.
- Ist die zu beschreitende Kante ein Terminal welches mit dem aktuellen Wort übereinstimmt, so lese das nächste Wort ein undgehe zum nächsten Folgeknoten.
Ist die zu beschreitende Kante mit dem leeren Wort
$\epsilon $
beschriftet, gehe zum nächsten Folgeknoten ohne das nächste Wort einzulesen.- Ist die zu beschreitende Kante ein Nichtterminal, so prüfe ob mit dem so beschrifteten Automaten ein Endzustand erreichtwerden kann.
Übersetzen von KFG nach RTN
- Jede nichtterminale Regel wird einem Automaten mit dieser Beschriftung zugeordnet.
- Jeder Ausdruck der Regel wird mit einer so beschrifteten Kante im Automaten symbolisiert.
- Knoten bekommen eindeutige, aber frei wählbare Namen zb. a,b,c,...
- Automaten die gleich heißen, dürfen zusammengefasst werden, so das Knoten mehrfach genutzt werden können.
Beispiel
Ein gutes Beispiel findet sich in dem Script von Frau Harbusch auf Seite 5 und 6 im Kapitel Syntax II. Symbole, T die der terminalen, S das Startsymbol (z.B. Satz), NETS die mengeder endlichen Automaten inklusive der aktuellen Zustände, A die Menge der Anfangszustände und E die der Endzustände.
Schrittweises erkennen
In einer RTN werden 3 Prüfungen immer wieder durchgeführt, bis keine Kante mehr beschritten werden kann und der erreichteZustand zur Menge der Endzustände gehört.
- Ist die zu beschreitende Kante ein Terminal welches mit dem aktuellen Wort übereinstimmt, so lese das nächste Wort ein undgehe zum nächsten Folgeknoten.
Ist die zu beschreitende Kante mit dem leeren Wort
$\epsilon $
beschriftet, gehe zum nächsten Folgeknoten ohne das nächste Wort einzulesen.- Ist die zu beschreitende Kante ein Nichtterminal, so prüfe ob mit dem so beschrifteten Automaten ein Endzustand erreichtwerden kann.
Übersetzen von KFG nach RTN
- Jede nichtterminale Regel wird einem Automaten mit dieser Beschriftung zugeordnet.
- Jeder Ausdruck der Regel wird mit einer so beschrifteten Kante im Automaten symbolisiert.
- Knoten bekommen eindeutige, aber frei wählbare Namen zb. a,b,c,...
- Automaten die gleich heißen, dürfen zusammengefasst werden, so das Knoten mehrfach genutzt werden können.
Beispiel
Ein gutes Beispiel findet sich in dem Script von Frau Harbusch auf Seite 5 und 6 im Kapitel Syntax II.