Parser - Verfahren: Rekursiver Abstieg Richard Göbel

Inhalt Konstruktion eines Parsers aus der BNF Scanner

Beispiel Grammatik <tasks> ::= ´(´ <activity> {, <activity>} ´)´ <activity> ::= <name>: ( (<duration> <resources> ) | <tasks> ) <resources> ::= '[' <name> {, <name> } ']' <name> ::= <letter> { <letter> | <digit> | <special> } <duration> ::= <digit> { <digit> } <letter> ::= a | b | . . . | z | A | B | . . . | Z <digit> ::= 0 | 1 | 2 | . . . | 9 <special> ::= _ | . | /

Backus-Naur-Form - Beispiel Text (Datenbanksysteme_1: (Vorlesung_1: (Vorbereitung: 70 [Goebel], Durchfuehrung: 90 [Goebel], Nachbereitung: 40 [Goebel]), Vorlesung_2: Vorlesung_3: Nachbereitung: 40 [Goebel])), Symbolische_Verfahren_1: . . .

Backus-Naur-Form – Ansatz für die Abbildung Erzeuge für jedes Nichtterminalsymbol eine Funktion Bilde die Regel eines Nichtterminalsymbols auf den Rumpf der Funktion ab. Erzeuge aus den BNF-Symbolen entsprechende Kontrollstrukturen.

Backus-Naur-Form – Beispiel für die Abbildung parseTasks() ( Vorlesung_1: (Vorbereitung: 70 [ Goebel ], Durchfuehrung: 90 [ Goebel ], Nachbereitung: 40 [ Goebel ] ) parseActivity() parseTasks() parseName() parseDuration() parseName() parseRessources() parseActivity()

Backus-Naur-Form - Abbildung von Alternativen v1 | v2 | . . . | vn if ( . . . ) { /* hier v1 einlesen */ } . . . else if ( . . . ) /* hier vn einlesen*/ else /* Fehler */

Backus-Naur-Form - Abbildung von Optionen [w] if (. . . ) { /* hier w einlesen */ }

Backus-Naur-Form - Abbildung von Wiederholungen while ( . . . ) { /* hier w einlesen */ }

Backus-Naur-Form - Steuerung der Kontrollstrukturen Bedingung überprüft das nächste Zeichen in der Eingabe Das nächste Zeichen sollte immer bereits zur Verfügung stehen: am Anfang einer Funktion am Anfang einer Kontrollstruktur Für diesen Ansatz muss die Grammatik eindeutig sein

Backus-Naur-Form - Eindeutigkeit Alle Alternativen müssen mit unterschiedlichen Terminalsymbolen beginnen. Bei einer Option oder einer Wiederholung muss der geklammerte Ausdruck v mit anderen Terminalsymbolen beginnen als der folgende Ausdruck w Optionen oder Wiederholungen am Ende einer Regel: Alle Regeln mit dem zugehörigen Nichtterminalsymbol untersuchen Die Zeichenkette nach dem Nichtterminal muss mit einem anderen Terminalsymbol als die Zeichenkette aus der Option oder der Wiederholung beginnen.

Backus-Naur-Form - Beispiel: Mehrdeutige Grammatik <date> ::= [ [ <day> ] <month> ] <year> <day> ::= <digit> <digit> . <month> ::= <digit> <digit> . <year> ::= <digit> <digit> <digit> <digit>  Mehrdeutigkeiten lassen sich durch zusätzlich Terminalsymbole beseitigen.

Parser- Tokenizer Aufgabe des Tokenizer : liest Sequenzen von Zeichen (z.B. Namen, Zeichenketten) als Symbole ein Überspringt beliebige Sequenzen von White Space Character (z.B. Leerzeichen, Tabs) als Trennsymbole überspringt Kommentare . . .

Aufgabe eines Tokenizer Lesen eines Token: Zahl Zeichenkette als Name Sonderzeichen Überspringen von so genannten White Space Character (Leerzeichen, Tabulator, Zeilenendezeichen, . . .) Überspringen von Kommentaren Andere Bezeichnungen: Scanner, lexikographische Analyse, . . .

Lesen einer Zeichenkette mit einem Tokenizer (Vorlesung_1: // Dies ist ein Kommentar (Vorbereitung: 70 [Goebel], Durchfuehrung: 90 [Goebel], Nachbereitung: 40 [Goebel]) Token (Symbol) Typ ( Sonderzeichen Vorlesung_1 Zeichenkette : Sonderzeichen Vorbereitung Zeichenkette 70 Zahl [ Sonderzeichen Goebel Zeichenkette . . . . . .

Grammatik für einen Tokenizer - Beispiel: Activities <tasks> ::= ´(´ <activity> {, <activity>} ´)´ <activity> ::= <name>: ( <duration> <resources> ) | <tasks> <resources> ::= '[' <name> {, <name> } ']' <name> ::= <zeichenkette> <duration> ::= <zahl>

Stream Tokenizer in Java - Lesen von Token tok = new StreamTokenizer(new FileReader(filename)); tok.nextToken(); if (tok.ttype == StreamTokenizer.TT_WORD) { . . . tok.sval . . . } // tok.sval: String else if (tok.ttype == StreamTokenizer.TT_NUMBER) { . . . tok.nval . . . } // tok.nval: double else if (tok.ttype == '[') { . . . } else if (tok.ttype == StreamTokenizer. TT_EOF) {

Stream Tokenizer in Java - Konfiguration tok.resetSyntax(); tok.slashSlashComments(true); tok.slashStarComments(true); tok.wordChars('a','z'); tok.wordChars('A','Z'); tok.wordChars('0','9'); tok.wordChars('_','_'); . . . tok.whitespaceChars(' ',' '); tok.whitespaceChars('\n', '\n'); tok.parseNumbers();

Stream Tokenizer in Java - Weitere Möglichkeiten lineno() liefert die aktuelle Zeilennummer commentChar(int c) ermöglicht ein eigenes Kommentarzeichen noch weitere Möglichkeiten: siehe Dokumentation