Julius Richard Büchi

Julius Richard Büchi

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 first student Lawrence Landweber had a major influence on the development of Theoretical Computer Science.

Together with his friend Saunders Mac Lane, a student of Paul Bernays as well, Büchi published numerous works.

He also invented the Büchi automaton, a finite state automaton accepting omega-regular languages.

One of his students was Lawrence Landweber who received his doctorate at Purdue University in 1967.

Publications

*"Collected Papers of J. Richard Büchi". Edited by Saunders Mac Lane and Dirk Siefkes. Springer, New York 1990.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • 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) 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 …   Deutsch 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”