Material	OOP Grundlagen Delphi Software-Technik Bonsai Digitaltechnik Ereignisse Grafik UML Netze Fischertechnik Tipps Werkzeuge Literatur Automaten Sprachen Datenbanken XML Prolog Berechenbarkeit Pfad: Startseite / Fächer / Informatik / Material
Autor: mk 02.09.2007 20:52:52 1762	Formale Sprachen

Einführung in die Handhabung von GoldParser

Die folgende, durch Syntaxdiagramme gegebene Sprache "Bezeichner" soll in Goldparser eingegeben werden.

Wir identifizieren ein "Startsymbol" "Bezeichner", nonterminale Symbole N = {Bezeichner, Buchstabe, Ziffer} und terminale Symbole T = {A,B,..,Z,a,..,z,0,..9}.

Die terminalen Symbole, die sogenannten Tokens sind aus bestimmten zugelassenenen Zeichen zusammengesetzt.

Das Regelsystem R enthält die Ersetzungsregeln oder Produktionen. Es ist hier in einer anschaulichen, aber für die automatische Weiterverarbeitung schlecht geeigneten, Form gegeben.

Gold-Parser

bezeichner.grm

Nach dem Start des Gold-Parser-Builders erhält man etwa obigen Bildschirm. Im Beispiel wurde obige Grammatik G eingegeben.

Man sieht folgende Teile:

• Die Angabe von Name, Autor und Verwendungszweck ist optional und kann in der angegebenen Weise erfolgen.
• Kommentarzeilen werden mit einem "!" eingeleitet.
• Es gibt vordefinierte Zeichenmengen, z.B {Letter}, aber man kann auch eigene Zeichenmengen z.B. {_abc} definieren.
• Terminalsymbole legt man mit "=" fest, Produktionen mit "::=".
• Nonterminale Symbole werden in spitze Klammern gesetzt.
• Das Startsymbol heißt "Start Symbol".

Gold-Parser verwendet die sog. Backus-Naur-Notation. Verbleibende Fragen kann die eingebaute Hilfe im Allgemeinen lösen. Die im Editor beschriebene Grammatik wird durch den Button "Enter Grammar" unten links in das System übernommen. Etwaige Fehler werden im log-Fenster angezeigt.

Nach der erfolgreichen Übernahme kann man mit dem Button "Compute Tables" die Parser-Tabellen erzeugen.

Parser-Test

Der folgende Bildschirmauszug zeigt das erfolgreiche Testen des Wortes "abc5".

lokal