Bottom-up-Parser

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Bottom-Up-Parser)
Zur Navigation springen Zur Suche springen

Bottom-up-Parser oder Aufwärtsparser sind Analyse-Werkzeuge für formale Sprachen.

Im Regelfall wird ein Parser als Teil eines Übersetzungsprogramms von einer Sprache in eine andere eingesetzt. Bei Programmiersprachen ist ein solches Übersetzungsprogramm Teil eines Compilers. Ein Parser prüft auch die Konformität bzw. das Einhalten des Regelwerks einer Sprache: Er gibt Warnungen und Fehlermeldungen aus, wenn der Eingangstext nicht regelkonform ist.

Ein Bottom-up-Parser arbeitet ausgehend von der kleinsten vorgefundenen Einheit („Bottom“) in Richtung des größeren Zusammenhangs („up“).

Der Bottom-up-Parser implementiert die Strategie des Bottom-up-Parsings (datengeleitetes Parsing). Bei dieser wird von den Token (Wörtern) des Eingabesatzes ausgehend versucht, nach und nach größere syntaktische Strukturen aufzubauen, bis man schließlich beim Startsymbol der Grammatik angelangt ist.

Wichtige Unterklassen sind

Gegeben sei eine kontextfreie Grammatik mit folgenden Produktionsregeln:

  1. SNP VP
  2. VPV NP
  3. NP → Donald
  4. NP → Daisy
  5. V → liebt

Das Startsymbol sei S.

Der Satz, der durch den Bottom-up-Parser analysiert werden soll, sei „Daisy liebt Donald“. Der Stapel des Parsers ist anfänglich leer. Die Schritte eines Shift-Reduce-Parsers sehen so aus:

Eingabe Stapel Aktion Angewandte Regeln
Daisy liebt Donald Start
liebt Donald Daisy Lege Wort „Daisy“ auf den Stapel
liebt Donald NP Reduziere „Daisy“ zu NP mit Regel 4. 4
Donald NP liebt Lege Wort „liebt“ auf den Stapel 4
Donald NP V Reduziere „liebt“ zu V mit Regel 5. 4 5
NP V Donald Lege Wort „Donald“ auf den Stapel 4 5
NP V NP Reduziere „Donald“ zu NP mit Regel 3. 4 5 3
NP VP Reduziere die Folge V NP auf dem Stapel zu VP mit Regel 2. 4 5 3 2
S Reduziere die Folge NP VP auf dem Stapel zu S mit Regel 1. 4 5 3 2 1

Es gibt keine weiteren Wörter mehr im Eingabesatz, auf dem Stapel liegt das Startsymbol, der Satz wurde daher durch den Parser unter Ausgabe der Regelfolge 4 5 3 2 1 akzeptiert.