Syntaxbasierte Programmierwerkzeuge

More about the book

Gegenstand dieses Buchs sind die theoretischen Grundlagen, um Compiler-Compiler sinnvoll einzusetzen und deren Leistungsfähigkeit richtig zu beurteilen. Dazu gehören attributierte Grammatiken als Beschreibungsmittel sowie die heute verwendeten Syntaxanalyse- und Attributauswertungsverfahren, wie LL(1)-Analyse und verschiedene Varianten der LR-Analyse sowie dynamische, statische und inkrementelle Attributauswerter. Besonders ausführlich wird das Schreiben attributierter Grammatiken behandelt, wobei Probleme in korrekte und verarbeitungsgerechte Formulierungen umgesetzt werden müssen. Die Theorie wird informell motiviert und anhand vieler Beispiele dargestellt. Zu zentralen oder methodisch interessanten Sachverhalten sind vollständige Beweise enthalten. Ziel ist es, ein tieferes Verständnis für die Arbeitsweise praktischer Systeme wie LEX/YACC zu fördern und die Leser zu ermutigen, sich intensiver mit deren mathematischen Grundlagen auseinanderzusetzen. Ein größeres Beispiel aus der Dokumentenverarbeitung illustriert die Einsatzmöglichkeiten von attributierten Grammatiken, sei es bei der Formatierung einer TeX-Quelldatei, der Expansion von Makros und Referenzen, der Prüfung auf bestimmte Eigenschaften oder der grafischen Anzeige des Ergebnisses – all diese Aufgaben lassen sich mit geeigneter Attributierung adäquat lösen.