1976年图灵奖--米凯尔·拉宾和达纳·斯科特简介
大家好，我是执念斩长河。今天讲述的是1976年图灵奖–米凯尔·拉宾和达纳·斯科特.图灵奖奖励他们为非确定性有限状态自动机的理论基础。读完本篇博文大家可以收获的是：
- 有限状态自动机的确定性
- 关于拉宾的口令如何破窃问题
- 拉宾如何提出计算机复杂性
- 斯科特如何提出标志语义模型
- 斯科特创建域论的过程
- 斯科特的人生鸡汤
拉宾侧重于计算机理论，而斯科特侧重于逻辑学在计算机科学中的应用。下面分别来介绍：
拉宾1931年9月1日生于德国的布雷斯劳。他大学进入莱利学院，毕业后进入希伯来大学学习数学，在研究选题中他选择创立不久的抽象代数中关于可交换理论中的问题， 硕士学位获得以后，拉宾去了美国。在美国的一段时间里，在普林斯顿大学攻读博士学位。
拉宾博士学位拿到以后，进入IBM研究中心，遇到了一起后来获得图灵奖的斯科特。与斯科特一起研究图灵机的有限状态机模型，他们将图灵的有限状态自动机从确定性的一种形态扩展到非确定性的另一种形态，极大的推动了有限状态自动机理论的发展。后来两者联名发表了论文《有限自动机及其判定问题》。
1958年夏天，受麦卡锡委托解决一道难题：设计一种口令，即使口令被敌方窃取去，敌方也无法进入系统。拉宾最终由冯诺依曼开发的一个单向函数解决了这个问题。
1959年和1960年 ，拉宾在耶路撒冷先后发表了有关此问题的两篇论文《计算速度和递归集合的分类》及《函数的计算难度和递归集合的偏序》提出“计算机复杂性”的概念， 这使得后来的计算机复杂理论成为一门研究领域。间接的说拉宾的研究改变了人们研究方向。
斯科特比拉宾小1岁，1932年10月11日生于美国加州福尼亚州，在加州大学伯克利分校获得学士学位以后，进入普林斯顿大学研究生深造。斯科特的主要兴趣和研究方向是逻辑学。他与斯特雷奇在20世纪60年代提出程序设计语言的“标志语义模型”又称数学语义学，奠定了坚实的基础。标志语义学把语言中的每一成分与一个数学对象相对应，称为从前者到后者的映射，后者即称为前者的“标志”。这个数学对象是某个区域的元素，该区域从数学上来说是一个“格”，格中的偏序以“定义范围小于或等于”来确定。一经推出，推动了计算机理论研究领域的发展，也为数据库和操作系统的研发提供了方便。后来又创建域论，以回答语义学是否存在可行解的问题。
斯科特经常勉励学生：“当你年轻时要尽可能地多学习，因为这之后你的生活将变得十分繁忙”。
第一张图拉宾，第二张图斯科特
1976年图灵奖--米凯尔·拉宾和达纳·斯科特简介相关推荐
- 文学见识(含图灵奖历届指引)--目录
手动点击,无须翻阅:) 64.2020年图灵奖Jeffrey David Ullman和Alfred Vaino Aho简介 63.2019年图灵奖Edwin E. Catmull和Patrick M ...
- 2008年图灵奖--芭芭拉·利斯科夫简介
大家好,我是执念斩长河.今天讲述的是2008年图灵奖获得者芭芭拉·利斯科夫.图灵奖奖励他为计算机程序设计语言与系统理论实践做出创造性贡献.读完本文大家可以获得: 师从麦卡锡 开发维纳斯 抽象数据类型提 ...
- 计算机领域的诺贝尔奖是图灵奖,计算机界的诺贝尔奖图灵奖.DOC
计算机界的诺贝尔奖图灵奖 本文内容: 1. 图灵生平 2. 图灵奖简介 3. 历届图灵获得者 1．图灵生平 阿兰图灵(Alan Turing)PhD, MIT; Prof, Yale (was Pro ...
- 72名图灵奖获得者的成就
来源:图灵教育 从"图灵机"到"图灵测试",从破译德军的 Enigma 到自杀之谜,图灵一生都是传奇,关于图灵的故事我们不在这里赘述,感兴趣的读者请看文末推荐阅 ...
- 【科普】72名图灵奖获得者的成就
来源:图灵教育 从"图灵机"到"图灵测试",从破译德军的 Enigma 到自杀之谜,图灵一生都是传奇,关于图灵的故事我们不在这里赘述,感兴趣的读者请看文末推荐阅 ...
- 看了 72 位图灵奖得主成就，才发现我对计算机一无所知
来源:人工智能AI技术 今天是计算机科学之父.人工智能之父 艾伦·麦席森·图灵 诞辰 108 周年.作为"图灵意志"的传承者,依照惯例,在今日纪念这位伟人. 从"图灵机& ...
- 一文了解72名图灵奖获得者的成就
来源:图灵教育 今天是计算机科学之父.人工智能之父 艾伦·麦席森·图灵 诞辰 108 周年.作为"图灵意志"的传承者,依照惯例,在今日纪念这位伟人. 从"图灵机" ...
- 74位图灵奖得主背景显示：大多数没有主修计算机专业，也并非高引用计算机科学家...
来源:中小学信息学竞赛 计算机科学是世界上发展最快的学科之一,计算机科学的发展直接影响着人们的生活,并有可能从根本上改变传统的生活方式.图灵奖作为计算机领域的最高奖项,一直被誉为"计算机界的 ...
- 历届图灵奖 (Turing award)得奖名单
历届图灵奖 (Turing award)得奖名单 一.总结 一句话总结:各个方面都有. 二.历届图灵奖 (Turing award)得奖名单 Turing奖最早设立于1966年,是美国计算机协会在计算 ...
- 历届图灵奖得主及研究领域
Turing奖最早设立于1966年,是美国计算机协会在计算机技术方面所授予的最高奖项,被喻为计算机界的诺贝尔奖.它是以英国数学天才Alan Turing先生的名字命名的,Alan Turing先生对早 ...
最新文章
- POJ3690：Constellations——题解
- Pixhawk代码分析-姿态解算篇B
- 用心推荐三个嵌入式方向精品号
- cygwin安装skyeye 所需的软件包列表
- mysql和php数据交互_php mysql交互
- python发邮件实例_python 发送邮件实例
- vs2019配置OpenGL
- 用paddleocr识别汉字_（暑期实践）PaddleHub一键OCR中文识别
- 如何向普通人解释机器学习、数据挖掘
- Python多任务之多进程开发
- 常用三种正态检验方法
- android模拟器横屏显示,安卓模拟器bluestacks怎么横屏显示
- 洛谷 P5708 三角形面积 C语言
- 计算机蓝屏无法启动不了系统怎么办,电脑开机蓝屏死机，无法进入系统怎么办？...
- vue 引入字体文件
- springboot配置https
- 电脑无法安装软件打不开计算机,电脑刚安装软件打不开怎么办
- PowerManagerService类大致解读
- 图像分析之直方图分析
- 计算机外设：显示器是如何工作的？