Das Buch behandelt die Analysephase von Übersetzern für Programmiersprachen. Es beschreibt die
lexikalische die syntaktische und die semantische Analyse Spezifikationsmechanismen für diese
Aufgaben aus der Theorie der formalen Sprachen und automatische Erzeugungsverfahren aus der
Theorie der Automaten. Vorgestellt wird eine konzeptionelle Übersetzerstruktur also eine
Aufteilung in eine Menge von Moduln welche ein Eingabeprogramm in einer Folge von Schritten in
ein Maschinenprogramm transformieren und beschreibt die Schnittstellen zwischen den Moduln.
Schließlich werden auch die Strukturen von realen Übersetzern skizziert. Das Buch enthält die
notwendige Theorie und Hinweise zur Implementierung.
