1976年的图灵奖获得者-Michael Oser Rabin (与Dana Stewart Scott联合获得)

最新推荐文章于 2022-06-22 15:04:51 发布

celestialwy

最新推荐文章于 2022-06-22 15:04:51 发布

阅读量2.5k

点赞数

分类专栏：计算机名人堂文章标签： algorithm search string idea 照片算法

计算机名人堂专栏收录该内容

51 篇文章 1 订阅

订阅专栏

本文介绍了图灵奖得主Michael O. Rabin及其与Dana Stewart Scott共同发表的经典论文《有限自动机与其判定性问题》。该论文首次引入了非确定性自动机的概念，为计算理论领域奠定了重要基础。

摘要由CSDN通过智能技术生成

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. Rabin图灵奖以表彰其 )( (与Dana Steward Scott合作撰写的研究论文)” 有限自动机与其判定性问题“。在该研究论文中，提出了非确定性(自动机)机器的观点。(在计算理论科学研究中，)非确定性被证明是一个非常重要的概念。Rabin和Scott的这篇经典文章成为这个领域后续研究的基石。

编者注：

"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

Michael O. Rabin 简介 :

Michael O. Rabin Wiki: http://en.wikipedia.org/wiki/Michael_O._Rabin

Michael O. Rabin在哈佛大学网站上的个人简历：

http://www.deas.harvard.edu/directory/professionalbio/index.html?id=2542

Answer.com关于Michael O. Rabin的介绍: http://www.answers.com/topic/michael-o-rabin

Michael Oser Rabin生于1931年于Breslau,德国的一个犹太人家庭。Beslau在二战后属于波兰。

Michael在1953年从Hebrew University of Jerusalem( www.huji.ac.il ) 获得其硕士学位;1956年从普林斯顿大学获得其博士学位。

除了其与Danna Scott合作的关于非确定性自动机理论并获得了图灵奖之外，Michael的学术生涯非常丰富，在1975年，Rabin发明了Miller-Rabin primality test; 1979年，发明了Rabin Crytosystem; 1981年发明了Oblivious Transfer; 1987年发明了Rabin-Karp String Search Algorithm。