1976年的图灵奖获得者-Dana Stewart Scott

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

 

Simulation of an NFA by a DFA

 

关于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年于普林斯顿获得其博士学位。

其博士论文题目是： "Convergent Sequences of Complete Theory"。Dana的博士论文导师就是著名的 Alonzo Church. Church就是著名的Church-Turing Thesis的提出者。另外lambda calculus也是Church的创造性工作。关于Church，可参见：

http://en.wikipedia.org/wiki/Alonzo_Church

 

1960年，Dana离开芝加哥大学，加入了Berkeley数学系，并担任副教授的职位。

 

1963年，Dana分别在斯坦福大学，Amsterdam和普林斯顿大学任职。

 

1972年到1981年，Dana就职与牛津大学。

 

1981年到2003年，Dana就职与CMU并直到退休。

 

目前，Dana生活在加州的Berkeley.

 

Dana S. Scott 历史照片:

 

 

转自http://www.xtrj.org/