Julius Richard Büchi

From Wikipedia, the free encyclopedia

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.

[edit] Publications

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