计算机与数字基础知识(西安交通大学少年班)绪论.pptVIP

阿兰·麦席森·图灵 Alan Mathison Turing 1912年–1954年 英国著名的数学家和逻辑学家 计算机科学之父、人工智能之父 1931年图灵考入剑桥大学国王学院 研究量子力学、概率论和逻辑学 大学毕业去美国普林斯顿大学攻读博士学位 图灵机计算模型 在他短暂的生涯中，图灵在量子力学、数理逻辑、生物学、化学方面都有深入的研究 在晚年还开创了一门新学科：非线性力学 24岁提出图灵机理论 28岁研究密码理论，研制出“破译机” 31岁参与COLOSSUS（巨型计算机）的研制 33岁设想仿真系统 35岁提出自动程序设计概念 38岁设计图灵测验 图灵机计算模型 德国有一个名为“Enigma”(谜) 的通信密码机,破译高手们绞尽脑汁也难以破解 图灵率领着大约200多名精干人员进行密码分析 分析和计算工作非常复杂,26个字母在“Enigma”机中能替代8万亿个谜文字母。如果改动接线,变化会超过2.5千万亿亿 最后多亏波兰同行们提供了一台真正的“Enigma”,图灵才凭借着他的天才设想设计出一种破译机。 它被图灵戏称为“罗宾逊”，至今没人能搞懂图灵究竟如何指挥它工作。但罗宾逊的确神通广大，在它的密报下，德国飞机一再落入圈套，死无葬身之地。 图灵机计算模型 他发表了《机器能思考吗?》的论文 这篇文章为图灵赢得了“人工智能之父”桂冠 在这篇论文里,图灵首次提出“机器思维”的概念 他反驳了机器不能思维的论调,做出了肯定的回答 他还对智能问题从行为主义的角度给出了定义 他提出一假想: 即一个人在不接触对方的情况下,通过一种特殊的方式,和对方进行一系列的问答,如果在相当长时间内,他无法根据这些问题判断对方是人还是计算机,那么,就可以认为这个计算机具有同人相当的智力,即这台计算机是能思维的。这就是著名的图灵测试(Turing Testing) 图灵机计算模型 “图灵（Turing）奖” 它是美国计算机协会（ACM，Association for Computer Machinery）于1966年设立的 专门奖励那些对计算机科学研究与推动计算机技术发展有卓越贡献的杰出科学家 设立的初衷是因为计算机技术的飞速发展，尤其到20世纪60年代，其已成为一个独立的有影响的学科，信息产业亦逐步形成 但在这一产业中却一直没有一项类似“诺贝尔”、“普利策”等的奖项来促进该学科的进一步发展 截止至2005年，获此殊荣的华人仅有一位，他是2000年图灵奖得主姚期智 图灵机计算模型 1936年，图灵向伦敦权威的数学杂志投了一篇论文，题为“论数字计算在决断难题中的应用” 在这篇开创性的论文中,图灵给“可计算性”下了一个严格的数学定义，并提出著名的图灵机“(Turing Machine)的设想。 “图灵机”不是一种具体的机器，而是一种思想模型 可制造一种十分简单但运算能力极强的计算装置，用来计算所有能想像得到的可计算函数 图灵机计算模型 图灵假想机器由下列部分构成 一条无限长的纸带?TAPE 一个读写头?HEAD 一套控制规则?TABLE 一个状态寄存器 注意这个机器的每一部分都是有限的，但它有一个潜在的无限长的纸带，因此这种机器只是一个理想的设备 图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程 图灵机计算模型 模拟近视眼、不吃饭昆虫“爬行”的图灵机 昆虫看到的信息集合：黑色、白色 昆虫的动作集合：前移、后移、涂黑、涂白 规则集合：①黑色|前移；②白色|涂黑 假设纸带的信息是“黑黑白白黑”，昆虫行动如下： 第一步：小虫在最左边的方格，根据规则一，读入黑色应该前移。 第二步：仍然读入黑，根据规则一，前移。 第三步：这个时候读入的是白色，根据规则二，应该把这个方格涂黑，而没有其他的动作。 第四步：当前方格已经是黑色的，因此小虫读入黑色方格，前移。 第五步：读入白色，涂黑方格，原地不动。 第六步：当前的方格已经被涂黑，继续前移。 第七步：读入黑色，前移 昆虫在纸带上不断前进，并将纸带全部涂黑 图灵机计算模型 图灵机计算模型 模拟近视眼、能吃饭昆虫“爬行”的图灵机 昆虫看到的信息集合：黑色、白色 昆虫的动作集合：前移、后移、涂黑、涂白 昆虫内部状态集合：吃饱、饥饿 规则集合：①黑色、饥饿|涂白、吃饱；②黑色、吃饱|后移、饥饿；③白色、饥饿|图黑、饥饿；④白色、吃饱|后移、吃饱 假设纸带的信息是“黑黑白白黑”，昆虫行动如下： 第二步：当前的方格变成了白色，因而读入白色，而当前的状态是吃饱状态，那么根据规则四前移，仍然是吃饱状态； 第三步：读入白色，当前状态是吃饱，因而会重复第二步的动作。 第四步：仍然重复上次的动作。 第五步：读入黑色，当前状态是吃饱，这时候根据程序的第二行应该后移方格，并转入饥饿状态； 第六步：读入