分享

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的这篇经典文章成为这个领域后续研究的基石。”

【笔者注：】

Scott的著名论文可参见：有限自动机与其判定性问题（PDF 格式）

自动机理论介绍：

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.

分享