Julius Richard Büchi

Julius Richard Büchi (* 1924 ; † 1984 ) was a Swiss logician and mathematician.

It was in 1950 at the ETH Zurich Dr. sc. nat. PhD ; his academic teachers were Paul Bernays and Ferdinand Gonseth .

Shortly afterwards, he went to Purdue University ( Lafayette , Indiana ) in the American Midwest. He and his first student Lawrence Landweber had a significant influence on the development of theoretical computer science .

The Büchi automaton is named after Büchi , a finite automaton for recognizing formal languages that contain infinitely long words (languages ​​with infinitely long words are also called -languages). ${\displaystyle \omega }$

Büchi was friends with Saunders Mac Lane , also a student of Paul Bernays , and has published numerous works with him.

Publications

• 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 . Edited by Saunders MacLane and Dirk Siefkes . Springer, New York 1990.

Web links

• Publications by and about Julius Richard Büchi in the Helveticat catalog of the Swiss National Library