Sie sind auf Seite 1von 2

Syntaxbaum

aus Wikipedia, der freien Enzyklopdie

Ein Syntax-, Ableitungs- oder Parsebaum ist ein Begriff aus der theoretischen Informatik und bezeichnet eine
baumfrmige Darstellung einer Ableitung. Der Syntaxbaum ist ein Hilfsmittel zur Visualisierung von Wrtern
einer (kontextfreien) Grammatik.

Man betrachte eine kontextfreie Grammatik . Ein Ableitungsbaum dazu ist ein Baum,
dessen Knoten mit Symbolen aus (also Terminal- und Nichtterminalsymbolen und dem leeren
Wort) beschriftet sind. Der Baum ist geordnet, d. h. die Kinder jedes Knotens haben eine feste Reihenfolge, und
fr die Beschriftung gilt:

Die Wurzel ist mit dem Startsymbol beschriftet. Diese Eigenschaft wird gelegentlich nicht verlangt.
Ein Baum, der sie erfllt, wird als vollstndiger Ableitungsbaum bezeichnet.
Wenn die Kinder eines mit beschrifteten inneren Knotens mit den Symbolen (in dieser
Reihenfolge) beschriftet sind, muss die Grammatik die Regel enthalten.
Die Bltter des Baumes sind mit Symbolen aus beschriftet.
Ist ein Blatt mit gekennzeichnet, so ist es der einzige Nachfolger seines Vorgngerknotens.

Als innere Knoten kommen also nur Nichtterminalsymbole in Frage, sowie fr die Bltter nur die
Terminalsymbole oder das leere Wort. Fr das Vierertupel werden auch die Buchstaben
verwendet.

Konstruktion
Die mglichen Syntaxbume/diagramme erstellen sich von der Wurzel ausgehend durch befolgen der
Produktionsregeln. Bei der Ableitung einer kontextfreien Grammatik erfolgt je Ableitungsschritt das Ersetzen
genau eines Nichtterminals. Der Ableitungsvorgang ist dann abgeschlossen, wenn keine inneren Knoten mehr
vorhanden sind, d.h. der Syntaxbaum in den Blttern nur Terminale oder das leere Wort trgt. Alle Wrter einer
kontextfreien Grammatik mssen ber die Produktionsregeln durch einen abgeschlossenen Syntaxbaum
darstellbar(ableitbar) sein.

Eindeutigkeit des Ableitungsbaums


Zu einer gegebenen Ableitung ohne -Regeln ist der Ableitungsbaum eindeutig. Zu einem Ableitungsbaum
knnen jedoch verschiedene Ableitungen existieren, je nachdem, in welcher Reihenfolge die Regeln
angewendet werden (siehe dazu Rechtsableitung). Diese verschiedenen Ableitungen erzeugen jedoch alle
dasselbe Wort, welches sich am Ableitungsbaum an den Blttern ablesen beziehungsweise durch eine
Tiefensuche ermitteln lsst.

Verschiedene Ableitungen zu einem Ableitungsbaum bedeuten dabei noch nicht, dass die Grammatik
mehrdeutig ist: Dazu muss es verschiedene Ableitungsbume geben, die dasselbe Wort erzeugen.

In der Literatur kommt es vor, dass Syntax- und Ableitungsbaum nicht synonym verwendet werden.
Insbesondere im Compilerbau ist der abstrakte Syntaxbaum von Bedeutung, der durch Entfernen von inneren
Knoten mit nur einem Kind aus dem Ableitungsbaum hervorgeht. Der eigentliche Ableitungsbaum wird dabei
zur Unterscheidung oft als konkreter Syntaxbaum oder Parsebaum bezeichnet.

Beispiel

Wir betrachten eine Grammatik mit dem Startsymbol und den folgenden Regeln:
Ein mglicher Ableitungsbaum zu dieser Grammatik sieht so aus:

Durch Ablesen der Terminalsymbole an den Blttern von links nach rechts erhlt man das abgeleitete Wort aab.
Ableitungen zu diesem Baum sind unter anderem die Linksableitung

und die Rechtsableitung

Abgerufen von https://de.wikipedia.org/w/index.php?title=Syntaxbaum&oldid=156495676

Kategorien: Compilerbau Theorie formaler Sprachen

Diese Seite wurde zuletzt am 27. Juli 2016 um 10:41 Uhr bearbeitet.
Der Text ist unter der Lizenz Creative Commons Attribution/Share Alike verfgbar; Informationen zu
den Urhebern und zum Lizenzstatus eingebundener Mediendateien (etwa Bilder oder Videos) knnen im
Regelfall durch Anklicken dieser abgerufen werden. Mglicherweise unterliegen die Inhalte jeweils
zustzlichen Bedingungen. Durch die Nutzung dieser Website erklren Sie sich mit den
Nutzungsbedingungen und der Datenschutzrichtlinie einverstanden.
Wikipedia ist eine eingetragene Marke der Wikimedia Foundation Inc.