Attributgrammatik

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Eine Attributgrammatik ist eine kontextfreie Grammatik, die um Attribute sowie Regeln und Bedingungen für diese Attribute erweitert ist. Angewandt wird das Konzept im Compilerbau, um die Einhaltung von Regeln zu überprüfen, die mit kontextfreien Grammatiken nicht formuliert werden können. Solche Regeln sind z. B. die, dass jede Variable deklariert sein muss und ihrem Datentyp entsprechend verwendet wird.

Ein Compiler überprüft die Einhaltung dieser Regeln während der semantischen Analyse. Dabei hat er nur die Informationen zur Verfügung, die im Syntaxbaum des Programms enthalten sind. Zusätzliche Informationen, die die semantische Analyse erleichtern, kann man als Attribute in den Syntaxbaum integrieren.

Zum Beispiel kann der Typ eines Ausdrucks als Attribut an den entsprechenden Knoten im Syntaxbaum annotiert werden. Durch Attributregeln und -bedingungen können zusätzlich Abhängigkeiten von anderen Attributen (auch anderer Knoten im Syntaxbaum) angegeben werden.

Die Programmierung der betreffenden Teile des Compilers vereinfacht sich, wenn die Produktionen der Grammatik selbst mit entsprechenden Attributen versehen werden.

Notation[Bearbeiten | Quelltext bearbeiten]

  • ist ein Attribut , das zu einem Nichtterminal der Produktion gehört, mit .

Definitionen[Bearbeiten | Quelltext bearbeiten]

ist eine Attributgrammatik, die durch folgende Komponenten definiert ist:

  • ist eine kontextfreie Grammatik.
  • ist eine endliche Menge von Attributen, die jeweils eindeutig einem Symbol zugeordnet sind. Die einzelnen Attributmengen sind disjunkt, es gilt also .
  • ist eine endliche Menge von Attributionsregeln.
  • ist eine endliche Menge von Bedingungen. Die Bedingung einer Produktion kann in der Form auch als Attribut der linken Seite aufgefasst werden, daher sind mit den Attributen auch alle Bedingungen erfasst.
  • ist die Menge der Attribute, die in den Regeln einer Produktion definiert sind.

Die Attribute eines Symbols lassen sich in zwei disjunkte Klassen unterteilen, da es für alle Attribute nur eine Berechnungsregel der Form in gibt:

  • ist die Menge der synthetisierten (abgeleiteten) Attribute. Dies sind die Attribute, die in den Regeln einer Produktion definiert sind, bei der auf der linken Seite steht.
  • ist die Menge der ererbten (inherited) Attribute. Dies sind die Attribute, die in den Regeln einer Produktion definiert sind, bei der auf der rechten Seite steht.

Zirkularität[Bearbeiten | Quelltext bearbeiten]

Attributgrammatiken sind zirkulär, wenn der Abhängigkeitsgraph der Attributvariablen, der durch die funktionale Abhängigkeit induziert wird, eine Schleife enthält.

Diese Zirkularität lässt sich in exponentieller Zeit testen.

Ein vereinfachter Test, der weniger Grammatiken zulässt, berechnet das Problem in polynomieller Zeit.

Grammatiktypen[Bearbeiten | Quelltext bearbeiten]

S-Attributgrammatiken[Bearbeiten | Quelltext bearbeiten]

S-Attributgrammatiken, kurz SAG sind Attributgrammatiken, die nur auf synthetischen Attributen arbeiten. So können sie direkt bei den Reduce-Schritten des Parse-Vorgang eines LR(k)-Parsers berechnet werden. Implementiert in yacc.

L-Attributgrammatiken[Bearbeiten | Quelltext bearbeiten]

L-Attributgrammatiken (LAG) können in einem Top-down-Durchgang von links nach rechts durch den abstrakten Syntaxbaum ausgewertet werden. Sie können für jede LL-Grammatik ausgewertet werden und somit für Pascal-ähnliche Programmiersprachen verwendet werden. Bei diesen dürfen nur abgeleitete und nachstehende Baumteile auf aktuelle Attribute zugreifen.

Beispiel:

  1. (erlaubt)
  2. (verboten)

Das erleichtert die vorwärtsgerichtete Deklaration von Variablen und Funktionen.

LR-Attributgrammatiken[Bearbeiten | Quelltext bearbeiten]

Eine Teilklasse der L-Attributgrammatiken, und zwar gerade diejenigen, die sich in einem Durchgang von links nach rechts während des LR-Parsens auswerten lassen. Implementierung: zyacc; in yacc von Hand über globale Variablen realisierbar. Der Vorteil der größeren Mächtigkeit des LR-Parsens gegenüber dem LL-Parsen manifestiert sich somit spiegelbildlich im Nachteil der geringeren Mächtigkeit der LR-Attributgrammatiken gegenüber den L-Attributgrammatiken.

ECLR-Attributgrammatiken[Bearbeiten | Quelltext bearbeiten]

Eine Variante der LR-Attributgrammatiken; sie benutzt eine Äquivalenzrelation, um die Attributauswertung zu optimieren. Implementierung: rie.