Dana Stewart Scott (1932--)
图 灵 奖 获 得 时 间 :
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.
中 文 翻 译 :
” ( 授 予 Dana S. Scott图 灵 奖 以 表 彰 其 )( (与Michael O. Rabin合作撰写的研究论文)” 有限自动机与其判定性问题“。在该研究论文中,提出了非确定性(自动机)机器的观点。(在计算理论科学研究中,)非确定性被证明是一个非常重要的概念。Scott和Rabin的这篇经典文章成为这个领域后续研究的基石。
编 者 注 :
"Finite Automata and Their Decision Problem"原文可参见:
自动机理论介绍:
http://en.wikipedia.org/wiki/Automata_theory
http://en.wikipedia.org/wiki/Finite_state_machine
关于DFA和计算理论的书籍:
http://books.google.com/books?q=Finite+Automata+and+Their+Decision+Problem&oi=print
http://books.google.com/books?q=DFA+theory+of+computing&oi=print
Comp.Theory FAQ:
http://www.cs.uwaterloo.ca/~alopez-o/comp-faq/faq.html
Book of “Introduction to the Theory of Computation” from MIT:
http://www-math.mit.edu/~sipser/book.html
Turing Award Lecture(图灵奖演讲文章):
Logic and Programming Languages. Commun. ACM 20(9): 634-641(1977
Dana S. Scott 简 介 :
Dana Wiki: http://en.wikipedia.org/wiki/Dana_Scott
Dana在CMU计算机系的主页:http://www.cs.cmu.edu/~scott/
Dana, 生于1932年,1954年在Berkeley获得其数学学士学位。1958年于普林斯顿获得其博士学位。
http://en.wikipedia.org/wiki/Alonzo_Church
1960年,Dana离开芝加哥大学,加入了Berkeley数学系,并担任副教授的职位。
转自http://www.xtrj.org/