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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
Büchi, JR.: Regular Canonical Systems. Arch. Math. Logik Grundlagenforsch. 6, 91–111 (1964).
Büchi, J.R.: Automata, Their Algebras and Grammars. D. Siefkes (Ed.), Springer-Verlag (1989).
Knuth, D.E.: On the Translation from Left to Right. Inform. Contr. 8, 607–639 (1965).
Langmaack, H.: Application of Regular Canonical Systems to Grammars Translatable from Left to Right. Acta Informatica 1, 111–114 (1971).
MacLane, S., Siefkes, D. (Eds.): The Collected Works of J. Richard Büchi. Springer-Verlag (1990).
Post, E.L.: Formal Reductions of the General Combinatorial Decision Problem. American Journal of Mathematics 65, 197–215 (1943).
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Langmaack, H. (1991). Büchis reguläre kanonische Systeme und Analyse kontextfreier Grammatiken. In: Broy, M. (eds) Informatik und Mathematik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76677-0_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-76677-0_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-76678-7
Online ISBN: 978-3-642-76677-0
eBook Packages: Springer Book Archive