Julius Richard Büchi

Julius Richard Büchi (* 1924; † 1984) war ein Schweizer Logiker und Mathematiker.

Er wurde 1950 an der ETH Zürich zum Dr. sc. nat. promoviert; seine akademischen Lehrer waren Paul Bernays und Ferdinand Gonseth.

Kurz darauf ging er an die Purdue University (Lafayette, Indiana) im mittleren Westen der USA. Er selbst und sein erster Schüler Lawrence Landweber nahmen erheblichen Einfluss auf die Entwicklung der Theoretischen Informatik.

Nach Büchi benannt ist der Büchi-Automat, ein endlicher Automat zum Erkennen von formalen Sprachen, die unendlich lange Wörter enthalten (Sprachen mit unendlich langen Wörtern heißen auch $\omega$ -Sprachen).

Büchi war mit Saunders Mac Lane, ebenfalls Schüler von Paul Bernays, befreundet und hat mit ihm zahlreiche Arbeiten publiziert.

Veröffentlichungen

Finite Automata, Their Algebras and Grammars -- Towards a Theory of Formal Expressions. Published posthumously, Springer, New York 1989.
Collected Works of J. Richard Büchi. Hrsg. von Saunders MacLane und Dirk Siefkes. Springer, New York 1990.

Weblinks

Publikationen von und über Julius Richard Büchi im Katalog Helveticat der Schweizerischen Nationalbibliothek

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.