Das Buch behandelt die Analysephase von Aoebersetzern fA1/4r Programmiersprachen. Es beschreibt die lexikalische, die syntaktische und die semantische Analyse, Spezifikationsmechanismen fA1/4r diese Aufgaben aus der Theorie der formalen Sprachen und automatische Erzeugungsverfahren aus der Theorie der Automaten. Vorgestellt wird eine konzeptionelle Aoebersetzerstruktur, 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. SchlieAlich werden auch die Strukturen von realen Aoebersetzern skizziert. Das Buch enthAlt die notwendige Theorie und Hinweise zur Implementierung.
