w**l
发帖数: 49 | 1 计算的美丽–1976年图灵奖获得者Michael Rabin
作者 陈怀临 | 2008-03-20 05:58 | 类型 人物评述, 计算的美丽 | 没有留言 »
Michael Oser Rabin (1931–)
图灵奖获得时间：
1976年。 第十一位图灵奖(1976年)获得者。
图灵奖引用(Turing Award Citation) ：
For their joint paper “Finite Automata and Their Decision Problem,” which
introduced the idea of nondeterministic machines, which has proved to be an
enormously valuable concept. Their (Scott & Rabin) classic paper has been a
continuous source of inspiration for subsequent work in this field.
【笔者译：】
“( 授 予 Michael O. |
|
