Ubersetzerbau: Band 2: Syntaktische und semantische Analyse

این کتاب مرحله تجزیه و تحلیل مترجمان برای زبان های برنامه نویسی را پوشش می دهد. این تحلیل واژگانی، نحوی و معنایی، مکانیسم‌های مشخص‌سازی این وظایف را از تئوری زبان‌های رسمی و روش‌های تولید خودکار از نظریه اتوماتا را توصیف می‌کند. یک ساختار کامپایلر مفهومی ارائه شده است، یعنی تقسیم به تعدادی ماژول، که یک برنامه ورودی را در یک سری مراحل به یک برنامه ماشین تبدیل می‌کند و رابط‌های بین ماژول‌ها شرح داده می‌شود. در نهایت، ساختار مترجمان واقعی نیز ترسیم شده است. کتاب حاوی تئوری و نکات لازم برای اجرا است.

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.