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.