Julius Richard Büchi

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 ω-Sprachen).

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

Veröffentlichungen

  • Collected Papers of J. Richard Büchi. Hrsg. von Saunders MacLane und Dirk Siefkes. Springer, New York 1990.



Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Julius Richard Büchi — Julius Richard Büchi, né en 1924 et mort en 1984, est un mathématicien suisse. Sommaire 1 Biographie 2 Publications 3 Note 4 Source …   Wikipédia en Français

  • Julius Richard Büchi — (1924–1984) was a Swiss logician and mathematician.He received his Dr. sc. nat. in 1950 at the ETH Zürich under supervision of Paul Bernays and Ferdinand Gonseth. Shortly afterwards he went to Purdue University, Lafayette, Indiana. He and his… …   Wikipedia

  • Büchi — ist der Familienname folgender Personen: Albert Büchi (1864–1930), Schweizer Historiker Albert Büchi (1907–1988), Schweizer Radrennfahrer Christophe Büchi (* 1952), Schweizer Journalist Alfred Büchi (1879–1959), Schweizer Ingenieur Ella Büchi… …   Deutsch Wikipedia

  • Buchi — Büchi Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Büchi est un patronyme : Alfred Büchi, ingénieur suisse, en 1905, il a dépose un brevet de turbocompresseur. Albert Büchi, cycliste suisse,… …   Wikipédia en Français

  • Büchi-Baumautomat — Der Büchi Automat (nach dem Schweizer Mathematiker Julius Richard Büchi) ist eine spezielle Form des ω Automaten. Dieser Automatentyp kann benutzt werden, um sowohl Sprachen über unendliche Wörter als auch über unendliche Bäume zu erkennen.… …   Deutsch Wikipedia

  • Büchi-Erkennbarkeit — Der Büchi Automat (nach dem Schweizer Mathematiker Julius Richard Büchi) ist eine spezielle Form des ω Automaten. Dieser Automatentyp kann benutzt werden, um sowohl Sprachen über unendliche Wörter als auch über unendliche Bäume zu erkennen.… …   Deutsch Wikipedia

  • Büchi-Automat — Der Büchi Automat (nach dem Schweizer Mathematiker Julius Richard Büchi) ist eine spezielle Form des ω Automaten. Dieser Automatentyp kann benutzt werden, um sowohl Sprachen über unendliche Wörter als auch über unendliche Bäume zu erkennen.… …   Deutsch Wikipedia

  • Büchi automaton — A Büchi automaton is the extension of a finite state automaton to infinite inputs. It accepts an infinite input sequence iff there exists a run of the automaton (in case of a deterministic automaton, there is exactly one possible run) which… …   Wikipedia

  • Büchi — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Büchi est un patronyme : Alfred Büchi, ingénieur suisse, en 1905, il a dépose un brevet de turbocompresseur. Albert Büchi, cycliste suisse, médaille… …   Wikipédia en Français

  • Buchi — can mean NOTOC Items*Bachi, special Japanese drumsticks *Butsi, the Tagalog term for mochi. *B%C3%BCchi automaton, finite state automata extended to infinite inputsPeopleGiven namesFamily names*George Büchi (August 1 1921 ndash; August 28 1998)… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”