J. Richard Buchi
著者について
J. Richard Büchi was a prominent Swiss mathematician and computer scientist, celebrated for his pioneering work in the field of automata theory and formal languages. His contributions significantly advanced the understanding of finite automata, leading to the development of important concepts such as regular expressions and the relationship between automata and logic. Büchi's research laid the groundwork for many areas in theoretical computer science, influencing both academia and industry.
国籍
スイス人
生年月日
July 28, 1921
出生地
Zurich, Switzerland
死亡日
September 22, 2015
影響を受けた人
影響を受けた