Talk:Julius Richard Büchi
From Wikipedia, the free encyclopedia
 |
This article is within the scope of WikiProject Biography. For more information, visit the project page. | ||
| ??? | This article has not yet received a rating on the project's quality scale. [FAQ]
Please rate the article and, if you wish, leave comments here regarding your assessment or the strengths and weaknesses of the article. |
||
[edit] Needs work
This should be classified as a stub. (I'm at work so I can't spend the time to recall that simple annotation). Buchi is more notable than the few lines in the article would suggest. For starters, he has a geneology from the Math Genealogy Project. I know of his work through reactive systems for which he might rightfully be considered the founder of, since he may have been the first to give an automata-theoretic characterization of this class of systems (although I don't think he actually coined the term "reactive systems"). The relation between Buchi Automata and both model checking and temporal logic, most notably through the works of Zohar Manna, Amir Pnueli, Pierre Wolper, and Moshe Vardi should also be noted. Finally, a Wikipedia article on reactive systems needs to be written, but look first for synonyms for such a system and include the appropriate redirects. Informally, a reactive system involves a weaker (more inclusive) notion than that for an algorithm in that, unlike algorithms, reactive systems are not designed to terminate, and if they do, then something is wrong. Vonkje (talk) 18:04, 11 June 2008 (UTC)
