1976年图灵奖--米凯尔·拉宾和达纳·斯科特简介

          大家好，我是执念斩长河。今天讲述的是1976年图灵奖–米凯尔·拉宾和达纳·斯科特.图灵奖奖励他们为非确定性有限状态自动机的理论基础。读完本篇博文大家可以收获的是：

• 有限状态自动机的确定性
• 关于拉宾的口令如何破窃问题
• 拉宾如何提出计算机复杂性
• 斯科特如何提出标志语义模型
• 斯科特创建域论的过程
• 斯科特的人生鸡汤

          拉宾侧重于计算机理论，而斯科特侧重于逻辑学在计算机科学中的应用。下面分别来介绍：
拉宾1931年9月1日生于德国的布雷斯劳。他大学进入莱利学院，毕业后进入希伯来大学学习数学，在研究选题中他选择创立不久的抽象代数中关于可交换理论中的问题， 硕士学位获得以后，拉宾去了美国。在美国的一段时间里，在普林斯顿大学攻读博士学位。
          拉宾博士学位拿到以后，进入IBM研究中心，遇到了一起后来获得图灵奖的斯科特。与斯科特一起研究图灵机的有限状态机模型，他们将图灵的有限状态自动机从确定性的一种形态扩展到非确定性的另一种形态，极大的推动了有限状态自动机理论的发展。后来两者联名发表了论文《有限自动机及其判定问题》。
           1958年夏天，受麦卡锡委托解决一道难题：设计一种口令，即使口令被敌方窃取去，敌方也无法进入系统。拉宾最终由冯诺依曼开发的一个单向函数解决了这个问题。
           1959年和1960年 ，拉宾在耶路撒冷先后发表了有关此问题的两篇论文《计算速度和递归集合的分类》及《函数的计算难度和递归集合的偏序》提出“计算机复杂性”的概念， 这使得后来的计算机复杂理论成为一门研究领域。间接的说拉宾的研究改变了人们研究方向。
           斯科特比拉宾小1岁，1932年10月11日生于美国加州福尼亚州，在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生深造。斯科特的主要兴趣和研究方向是逻辑学。他与斯特雷奇在20世纪60年代提出程序设计语言的“标志语义模型”又称数学语义学，奠定了坚实的基础。标志语义学把语言中的每一成分与一个数学对象相对应，称为从前者到后者的映射，后者即称为前者的“标志”。这个数学对象是某个区域的元素，该区域从数学上来说是一个“格”，格中的偏序以“定义范围小于或等于”来确定。一经推出，推动了计算机理论研究领域的发展，也为数据库和操作系统的研发提供了方便。后来又创建域论，以回答语义学是否存在可行解的问题。
           斯科特经常勉励学生：“当你年轻时要尽可能地多学习，因为这之后你的生活将变得十分繁忙”。

第一张图拉宾，第二张图斯科特