imported>Schattenwanderer: /* Veröffentlichungen */

2016-08-31T14:35:24Z

Veröffentlichungen

Neue Seite

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

Er wurde 1950 an der [[ETH Zürich]] zum Dr. sc. nat. [[Promotion (Doktor)|promoviert]]; seine akademischen Lehrer waren [[Paul Bernays]] und [[Ferdinand Gonseth]].

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

Nach Büchi benannt ist der [[Büchi-Automat]], ein [[endlicher Automat]] zum Erkennen von [[formale Sprache|formalen Sprachen]], die unendlich lange Wörter enthalten (Sprachen mit unendlich langen Wörtern heißen auch <math>\omega</math>-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 ==
* {{Helveticat}}

{{Normdaten|TYP=p|GND=118898876|LCCN=n/87/852137|VIAF=2536445}}

{{SORTIERUNG:Buchi, Julius Richard}}
[[Kategorie:Informatiker]]
[[Kategorie:Hochschullehrer (West Lafayette, Indiana)]]
[[Kategorie:Schweizer]]
[[Kategorie:Geboren 1924]]
[[Kategorie:Gestorben 1984]]
[[Kategorie:Mann]]

{{Personendaten
|NAME=Büchi, Julius Richard
|ALTERNATIVNAMEN=
|KURZBESCHREIBUNG=Schweizer Logiker und Mathematiker
|GEBURTSDATUM=1924
|GEBURTSORT=
|STERBEDATUM=1984
|STERBEORT=
}}

Julius Richard Büchi - Versionsgeschichte

imported>Schattenwanderer: /* Veröffentlichungen */