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).
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
personal data | |
---|---|
SURNAME | Büchi, Julius Richard |
BRIEF DESCRIPTION | Swiss logician and mathematician |
DATE OF BIRTH | 1924 |
DATE OF DEATH | 1984 |