Syntaxbasierte Programmierwerkzeuge

1. Front Matter

   Pages 1-8

   PDF

2. Einführung

   1. Einführung

      • Lothar Schmitz

      Pages 9-26

3. Beschreibungsmittel

   1. Front Matter

      Pages 27-27

      PDF

   2. Beschreibung von Sprachen

      • Lothar Schmitz

      Pages 29-72

   3. Attributierte Grammatiken

      • Lothar Schmitz

      Pages 73-108

4. Abarbeitungsmechanismen

   1. Front Matter

      Pages 109-109

      PDF

   2. Lexikalische Analyse

      • Lothar Schmitz

      Pages 111-136

   3. Syntaxanalyse

      • Lothar Schmitz

      Pages 137-180

   4. Attributauswertung

      • Lothar Schmitz

      Pages 181-210

5. Anwendungen

   1. Front Matter

      Pages 211-211

      PDF

   2. Beispiel Dokumentenbearbeitung

      • Lothar Schmitz

      Pages 213-250

   3. Eine Auswahl von Werkzeugen

      • Lothar Schmitz

      Pages 251-276

6. Back Matter

   Pages 277-305

   PDF

Gegenstand dieses Buchs sind die theoretischen Grundlagen, die man braucht, um Compiler-Compiler sinnvoll einsetzen und die Leistungsfähigkeit solcher Werkzeuge richtig beurteilen zu können. Dazu gehören neben attributierten Grammatiken als Beschreibungsmittel die heute verwendeten Syntaxanalyse- und Attributauswertungsverfahren. Das sind die LL(1)-Analyse und die verschiedenen Varianten oder LR-Analyse sowie dynamische, statische und inkrementelle Attributauswerter. Besonders ausführlich wird das Schreiben attributierter Grammatiken behandelt: Dabei müssen Probleme in korrekte und verarbeitungsgerechte Formulierungen umgesetzt werden. Die Theorie wird weitgehend informell motiviert und an vielen Beispielen dargestellt. Zu zentralen oder methodisch interessanten Sachverhalten findet man vollständige Beweise. Damit soll ein tieferes Verständnis für die Arbeitsweise praktischer Systeme wie LEX/ YACC gefördert und die Leser angeregt werden, sich noch eingehender mit deren mathematischen Grundlagen zu beschäftigen. Ein größeres Beispiel aus dem Bereich der Dokumentenverarbeitung illustriert die verschiedenen Einsatzmöglichkeiten von attributierten Grammatiken: Ob es um die Formatierung einer TeX-Quelldatei geht oder um die Expansion darin vorhandener Makros und Referenzen, ob die Quelle auf gewisse Eigenschaften hin geprüft oder das Ergebnis graphisch angezeigt werden soll, in all diesen Fällen läßt sich die Aufgabe mit einer geeigneten Attributierung adäquat lösen.

• Automaten
• Compilerbau
• Graphen
• Programmiersprache
• Systeme
• Verfahren
• Werkstoff
• Werkzeug

• Universität der Bundeswehr München, Deutschland

  Lothar Schmitz

Policies and ethics