Vorlesungsskript - Institut für Programmierung und Reaktive Systeme

Verzeichnis der Abbildungen
vi
3.20 Zustandsmenge des LR-DEA der Grammatik zur Beschreibung der
C-Zuweisung aus Beispiel 43. . . . . . . . . . . . . . . . . . . . . . . 106
3.21 Zustandsmenge des charakteristischen endlichen Automaten mit LR(1)-
Items zur Grammatik aus Beispiel 43. . . . . . . . . . . . . . . . . . . 107
3.22 Charakteristischer endlicher LR(1)-Automat zur Grammatik aus Beispiel
43. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
3.23 Zustandsmenge des charakteristischen endlichen Automaten mit SLR(1)-
Items für die Grammatik aus Beispiel 43. . . . . . . . . . . . . . . . . 110
3.24 Zustandsmenge des charakteristischen endlichen Automaten mit LALR(1)-
Items für die Grammatik aus Beispiel 43. . . . . . . . . . . . . . . . . 111
3.25 Charakteristischer endlicher LR(1)-Automat zur Grammatik aus Beispiel
43. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
4.1 Beispiel eines attributierten Strukturbaums. . . . . . . . . . . . . . . 119
4.2 Synthetische und inherite Attribute. . . . . . . . . . . . . . . . . . . . 120
4.3 Berechnung von Typinformationen im Strukturbaum. . . . . . . . . . 121
4.4 Attributierter Strukturbaum zur Analyse einer Binärzahl. . . . . . . . 123
4.5 Attributierter Strukturbaum zur Analyse einer Binärzahl mit inheritem
Attribut. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
4.6 Darstellung der direkten Abhängigkeiten zwischen Attributvorkommen.126
4.7 Beispiel eines Abhängigkeitsgraphen. . . . . . . . . . . . . . . . . . . 127
4.8 “Verklebter” Abhängigkeitsgraph. . . . . . . . . . . . . . . . . . . . . 127
4.9 Semantische Regeln für Beispielsprache. . . . . . . . . . . . . . . . . . 133
4.10 Attributierter Strukturbaum für ein Beispielprogramm. . . . . . . . . 133
4.11 Attributierter Strukturbaum für ein fehlerhaftes Beispielprogramm. . 134
4.12 Funktion zur Überprüfung, ob zwei Typausdrücke identisch sind. . . . 135
4.13 Attributierter Strukturbaum einer Zuweisung. . . . . . . . . . . . . . 139
4.14 Attributierter Strukturbaum einer Zuweisung mit Attributabhängigkeiten.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
4.15 Attributierter Strukturbaum einer Zuweisung mit Typfehler. . . . . . 140
5.1 Einordnung der Zwischencode-Erzeugung. . . . . . . . . . . . . . . . 141
5.2 Syntaxbaum . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
5.3 Konstruktion eines Syntaxbaums aus Postfix-Notation. . . . . . . . . 145
5.4 Auswertung eines Postfix-Ausdrucks mit Hilfe eines Stacks. . . . . . . 146
5.5 Attributierter Strukturbaum mit Zwischencode. . . . . . . . . . . . . 148
5.6 Attributierter Strukturbaum einer verschachtelten if-Anweisung. . . . 152
5.7 Syntaxbaum mit temporären Namen. . . . . . . . . . . . . . . . . . . 154
5.8 Syntaxbaum mit Attributen für die Erzeugung von Drei-Adreß-Code. 156