40 Jahre Informatik in München - Fakultät für Informatik - TUM

kann. Ferner wurde in der Arbeit die Bestimmung von Mehrdeutigkeiten
untersucht.
Übersetzer-Generatoren werden nicht nur zur Generierung von Übersetzern
verwendet, sondern sind vorher schon ein wichtiges Werkzeug zur
Überprüfung der formalen Beschreibung von Programmiersprachen. Bei
der Syntaxbeschreibung ist die Frage nach Eindeutigkeit von großer Bedeutung.
Wenn der Parsergenerator keine Mehrdeutigkeitskeime entdeckt,
ist die kontextfreie Grammatik eindeutig. Hätte man schon die
ALGOL 60-Grammatik auf diese Weise analysieren können, wäre die ‘ifthen-else-Mehrdeutigkeit’
entdeckt worden, die der wesentliche Grund
für die Neufassung der ALGOL-Beschreibung im Jahre 1962 im ‘Revised
Report on the Algorithmic Language Algol 60’ war. In diesem Zusammenhang
wurden von J. Eickel, H. Langmaack, M. Paul und G. Hotz
(Saarbrücken) eine Reihe von Überlegungen zum Mehrdeutigkeitsbegriff
bis hin zu den CHOMSKY-0 Grammatiken durchgeführt.
Die Möglichkeit, Übersetzer generativ aus der formalen Beschreibung der
Programmiersprache zu generieren, ergibt sich auch für andere Phasen
eines Übersetzers, sofern man entsprechende Beschreibungsmodelle entwickelt
hat. Diese Forschung zur Generierung von Übersetzern wurde im
Rahmen eines von J. Eickel geleiteten Projekts des SFB 49 unter wesentlicher
Mitarbeit von H. Ganzinger, R. Giegerich, K. Ripken und R. Wilhelm
intensiviert. Ein besonderes Ergebnis war die Konzeption und Implementierung
des Übersetzererzeugenden Systems MUG2. Dieses unterstützte
weltweit erstmalig die Generierung aller Phasen eines Übersetzers.
Mit der Abschaffung des TR 440 Rechners ergab sich die Notwendigkeit,
neue Übersetzergeneratoren zu implementieren. Diese Systeme wurden
über Jahrzehnte intensiv in der Lehre eingesetzt. Im Anschluss an die
Vorlesung Übersetzerbau lernten im Schnitt etwa 20 (Ende der achtziger
Jahre sogar bis zu 90) Studenten jährlich im Compiler-Praktikum, einen
Übersetzer zu bauen. Das aktuelle Übersetzererzeugende System ist das
vonA.Poetzsch-Heffter konzipierte MAX-System, mit dem hauptsächlich
Compiler für objektorientierte Sprachen erstellt wurden. Dazu erschien
1998 im Springer-Verlag das Lehrbuch ‘ Übersetzung objektorientierter
Programmiersprachen: Konzepte, abstrakte Maschinen und Praktikum
Java-Compiler’ von B. Bauer und R. Höllerer.
In den 90er Jahren wurden die Generierungs-Modelle und -Werkzeuge
wesentlich erweitert, um sie in anderen Bereichen anzuwenden. So entstanden
das AGENDA-System (W. Schreiber) zur Generierung von Dokumentverarbeitung
und im Rahmen einer Industriekooperation mit der
Firma Siemens das BOSS-System (S. Schreiber) zur Generierung von Benutzeroberflächen
aus formalen Spezifikationen. [Jürgen Eickel]
43