第2章计算科学.ppt

2.1.2有穷自动机课程应用软件工程编译原理*第28页，共61页，星期日，2025年，2月5日2.1.3图灵机AlanMathisonTuring1912～1954图灵机模型是由图灵于1936年在论文《论可计算数及其在判定问题中的应用》（OnComputableNumberswithanApplicationtotheEncryptionProblem）中提出的。在该论文中，图灵回答了“计算机”到底是怎样一种机器，应该由哪些部分组成，如何进行计算和工作。*第29页，共61页，星期日，2025年，2月5日2.1.3图灵机图灵机可以看成一个附有两端无穷的带子的黑箱，带子由连成串的方格组成，黑箱和带子由一指针相联。图灵机的每一个移动与所读的符号、所处的状态有关。读头每次读一个符号，则在所读符号所在的磁带的方格中写入一个符号，修改图灵机所处的状态，同时决定读头移动的方向。*第30页，共61页，星期日，2025年，2月5日2.1.3实现加法运算的图灵机当前状态当前单元内容要写的值移动方向要输入的新状态START**LeftADDADD01RightRETURNADD10LeftCARRYADD**RightHALTCARRY01RightRETURNCARRY10LeftCARRYCARRY*1LeftOVERFLOWOVERFLOW**RightRETURNRETURN00RightRETURNRETURN11RightRETURNRETURN**NomoveHALT*第31页，共61页，星期日，2025年，2月5日2.1.3实现加法运算的图灵机二进制101+1=110START*ADD写*，左移指针磁带1写0左移CARRY0写1右移RETURN0写0右移RETURN*写*NOMOVEHALT*第32页，共61页，星期日，2025年，2月5日（1）初始数据101加0？（2）初始数据110加1？（3）初始数据111加1？2.1.3实现加法运算的图灵机练习不用加，也不能用此图灵机溢出的处理？1*111*和**111*运算结果的区别？结果*111**第33页，共61页，星期日，2025年，2月5日当前状态当前单元内容要写的值移动方向要输入的新状态START**LeftADDADD01RightRETURNADD10LeftCARRYADD**RightHALTCARRY01RightRETURNCARRY10LeftCARRYCARRY*1LeftOVERFLOWOVERFLOW**RightRETURNRETURN00RightRETURNRETURN11RightRETURNRETURN**NomoveHALT2.1.3实现加法运算的图灵机练习图灵机的状态转换图如何画？*第34页，共61页，星期日，2025年，2月5日图灵测试1950年10月，图灵发表了《计算机与智能》（ComputingMachineryandIntelligence）的论文。在这篇经典论文中，图灵进一步阐明了计算机可以具有智能的思想，并提出了一个测试机器是否有智能的方法，即“图灵测试”。为人工智能的建立作出了贡献。*第35页，共61页，星期日，2025年，2月5日2.1.3图灵奖图灵奖是美国计算机协会（ACM）于1966年设立的，专门奖励那些对计算机事业作出重要贡献的个人。其名称取自计算机科学的先驱、英国科学家阿兰·图灵，这个奖设立目的之一是纪念这位科学家。获奖者的贡献必须是在计算机领域具有持久而重大的技术先进性的。大多数获奖者是计算机科学家。图灵奖是计算机界最负盛名的奖项，有“计算机界的诺贝尔奖”之称。图灵奖对获奖者的要求极高，评奖程序也极严，一般每年只奖励一名计算机科学家，只有极少数年度有两名以上在同一方向上做出贡献的科学家同时获奖。目前图灵奖由英特尔公司和GOOGLE公司赞助，奖金为250,000美元。（1）吴鹤龄，崔林.ACM图灵奖（1966-2006）-计算机发展史的缩影，高等教育出版社，2008年；（2）苏运霖译.ACM图灵奖演讲集—前20年（1966-1985