Büchis reguläre kanonische Systeme und Analyse kontextfreier Grammatiken

Zusammenfassung

Den Rahmen dieses Festkolloquiums zu Ehren unseres verehrten Jubilars Prof. Dr. Drs. h.c. F.L. Bauer halte ich für eine gute und würdige Gelegenheit, uns auch unseres Kollegen J.R. Büchi zu erinnern. Er wurde im gleichen Jahr 1924 wie Herr Bauer geboren und starb leider schon 1984. Zuletzt war er Professor am Computer Science Department der Purdue University in Lafayette, Indiana, USA. 1961/62 hatte Herr Bauer ihn als Gastprofessor an die Universität Mainz eingeladen. Herr Bauer und unser leider auch schon früh verstorbener Mentor und Kollege K. Samelson waren dort Professoren für Mathematik. Sie befaßten sich mit einer damals sehr neuartigen Angewandten Mathematik, nämlich mit dem Programmieren und Einsatz elektronischer Rechenmaschinen. Diese an sich schon für uns wissenschaftliche Assistenten äußerst stimulierende Arbeitsumgebung erfuhr durch Herrn Büchi eine weitere Bereicherung. Seine Vorlesung „Mathematische Theorie der Automaten und ihres Verhaltens“ ist gewiß eine der ersten Automatentheorievorlesungen in Deutschland gewesen.