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

Persönlichkeiten, die eine Rolle in der internationalen Informatik spielten,
so u.a. E. W. Dijkstra, der bei seinen Vorträgen durch theatralische
Gesten auffiel und mit einigen Kollegen mehr oder weniger ernste Gedankenbälle
hin- und herspielte. Das ärgerte Herrn Seegmüller, der in einem
Podiumsbeitrag betonte: “We will not play with ALGOL 60, we will
work with the language.” Dabei fiel das Bonmot “ALGOL-Playboys”,
das Herrn Seegmüller viel Achtung eintrug.
1961/62 war Prof. J. Richard Büchi von der Ann Arbor University (USA)
Gastprofessor an der Universität Mainz, eingeladen von den Herren Bauer
und Samelson. Sein Wirkungsfeld war die von ihm mitinitiierte Automatentheorie,
woran auch Peter Deussen arbeitete, der im Herbst 1960
von der TH München zu uns gestoßen war. Herr Büchi bereicherte
den informatikwissenschaftlichen Gedankenaustausch ungemein, zumal
er in seinen Vorlesungen zur Automatentheorie mit seiner (damals) eigenwilligen
algebrentheoretischen und prädikatenlogischen Sicht und Notation
aufwartete. Selbst auswärtige Kollegen wie die Herren G. Hotz
aus Saarbrücken und K. H. Böhling aus Bonn besuchten die Vorlesung
gelegentlich.
Auf Herrn Büchis Anregung behandelten wir im Seminar die Postschen
kanonischen Ersetzungssysteme, die den spezielleren sog. normalen Systemen
wie auch den spezielleren sog. Semi-Thue-Systemen äquivalent
sind. Die kontextfreien Grammatiken, die seit dem ALGOL 60-Bericht
eine große Rolle für die Programmiersprachenbeschreibung zu spielen begannen,
können als eingeschränkte Semi-Thue-Systeme gesehen werden.
Denkwürdig ist, wie Herr Büchi und Herr Bauer lange gemeinsam an der
Tafel gestanden und aneinander vorbeigeredet haben. Damals konnten
wir Zuhörer das Mißverstehen leider auch nicht auflösen. Im Kolloquium
1989 in München zu Herrn Bauers 65. Geburtstag berichtete ich darüber:
Herr Büchi verstand unter Variablen Platzhalter für Symbolreihen in kanonischen
Produktionen, Herr Bauer dachte an nichtterminale Symbole,
die damals mitunter Variablen genannt wurden, weil sie auch gewisse,
aber doch andere Ersetzungsfunktion hatten.
In jener Zeit lernten wir kontrapunktisch zu den normalen Systemen
Herrn Büchis regulär kanonische Systeme kennen (1964 publiziert), die
überraschenderweise den endlichen Automaten gleichmächtig sind. Sie
erlauben äußerst elegante Einsichten in Entscheidungsprobleme bei formalen
Sprachen, so z.B. in D. Knuths LR(k)-Eigenschaft kontextfreier
Grammatiken (1965, Langmaack 1971) und in P. Kandzias formaler ‘most
recent’-Eigenschaft (1974), die E. W. Dijkstra fatalerweise allen ALGOL-
Programmen zugeschrieben hat.
Herr Büchi hatte 1959 auf dem Gebiet der mathematischen Logik bei
Prof. Paul Bernays an der ETH Zürich promoviert, letzterer ein ange-
73