文件名称:图灵与图灵机-计算机基础知识
文件大小:11.46MB
文件格式:PPT
更新时间:2024-05-14 17:57:31
基础
图灵与图灵机 计算机是使用相应的程序来完成任何设定好的任务。 图灵机是一种思想模型, 它由三部分组成: 一个控制器,一条可以无限延伸的 带子和一个在带子上左右移动的读 写头。 为纪念图灵对计算机的贡献, 美国计算机博物馆于1966年 设立了“图灵奖” 1936年,年仅24岁的英国人图灵发表了著名的《论应用于决定问题的可计算数字》一文,提出思考实验原理计算机概念。图灵把人在计算时所做的工作分解成简单的动作,与人的计算类似,机器需要:(1)存储器,用于储存计算结果;(2)一种语言,表示运算和数字;(3)扫描;(4)计算意向,即在计算过程中下一步打算做什么;(5)执行下一步计算。具体到一步计算,则分成:(1)改变数字的符号;(2)扫描区改变,如往左进位和往右添位等;(3)改变计算意向等。图灵还采用了二进位制。这样,24岁的他就把人的工作机械化了。这种理想中的机器被称为“图灵机”。图灵机是一种抽象计算模型,用来精确定义可计算函数。图灵机由一个控制器,一条可以无限延伸的带子和一个在带子上左右移动的读写头组成。工作带起着存储器的作用,它被划分为大小相同的方格,每一格上可书写一个给定字母表上的符号,控制器可以在纸带上左右移动,控制器有一个读写头,读写头可以读出控制器访问格子上的符号,也能改写和抹去这一符号,这就是计算机史上与“冯·诺依曼机器”齐名的“图灵机”。这个概念如此简单的机器,理论上却可以计算任何直观可计算函数。图灵在设计了上述模型后提出,凡可计算的函数都可用这样的机器来实现,这就是著名的图灵论题。现在图灵论题已被当成公理一样在使用着,它不仅是数学的基础之一。 半个世纪以来,数学家提出的各种各样的计算模型都被证明是和图灵机等价的。1945年,图灵到英国国家物理研究所工作,并开始设计自动计算机。1950年,图灵发表了题为《计算机能思考吗?》的论文,给人工智能下了一个定义,而且论证了人工智能的可能性。1951年,他被选为英国皇家学会会员。