㈠ 什么是图灵机理论模型
图灵机由一条无限长的纸带、一个读写头、一套控制规则和一个状态寄存器四部分组成,在无限长的纸条上有一个个方格,每个方格可以存储一个符号,纸条可以向左或者向右运动。图灵机模型可以执行三个基本操作:读取指针头指向的符号;修改方框中的字符;将纸带向左或向右移动,以便修改其临近方框的值。
参考资料:《大学计算机-计算思维导论》,清华大学出版社2019
㈡ 冯·诺伊曼计算机体系结构是如何实现图灵机模型的
体系结构编辑
(1)采用存储程序方式,指令和数据不加区别混合存储在同一个存储器中,(数据和程序在内存中是没有区别的,它们都是内存中的数据,当EIP指针指向哪 CPU就加载那段内存中的数据,如果是不正确的指令格式,CPU就会发生错误中断. 在现在CPU的保护模式中,每个内存段都其描述符,这个描述符记录着这个内存段的访问权限(可读,可写,可执行).这最就变相的指定了哪个些内存中存储的是指令哪些是数据)
指令和数据都可以送到运算器进行运算,即由指令组成的程序是可以修改的。
(2)存储器是按地址访问的线性编址的一维结构,每个单元的位数是固定的。
(3)指令由操作码和地址组成。操作码指明本指令的操作类型,地址码指明操作数和地址。操作数本身无数据类型的标志,它的数据类型由操作码确定。
(4)通过执行指令直接发出控制信号控制计算机的操作。指令在存储器中按其执行顺序存放,由指令计数器指明要执行的指令所在的单元地址。指令计数器只有一个,一般按顺序递增,但执行顺序可按运算结果或当时的外界条件而改变。
(5)以运算器为中心,I/O设备与存储器间的数据传送都要经过运算器。
(6)数据以二进制表示。
4特点编辑
(1)计算机处理的数据和指令一律用二进制数表示
(2)顺序执行程序
计算机运行过程中,把要执行的程序和处理的数据首先存入主存储器(内存),计算机执行程序时,将自动地并按顺序从主存储器中取出指令一条一条地执行,这一概念称作顺序执行程序。
(3)计算机硬件由运算器、控制器、存储器、输入设备和输出设备五大部分组成。[3]
5作用编辑
冯.诺依曼体系结构是现代计算机的基础,现在大多计算机仍是冯.诺依曼计算机的组织结构,只是作了一些改进而已,并没有从根本上突破冯体系结构的束缚。冯.诺依曼也因此被人们称为“计算机之父”。然而由于传统冯.诺依曼计算机体系结构天然所具有的局限性,从根本上限制了计算机的发展。
根据冯·诺依曼体系结构构成的计算机,必须具有如下功能:把需要的程序和数据送至计算机中。必须具有长期记忆程序、数据、中间结果及最终运算结果的能力。能够完成各种算术、逻辑运算和数据传送等数据加工处理的能力。能够根据需要控制程序走向,并能根据指令控制机
冯· 诺依曼体系结构[3]
器的各部件协调操作。能够按照要求将处理结果输出给用户。[2]
将指令和数据同时存放在存储器中,是冯·诺依曼计算机方案的特点之一计算机由控制器、运算器、存储器、输入设备、输出设备五部分组成冯·诺依曼提出的计算机体系结构,奠定了现代计算机的结构理念。[4]
㈢ 要理解图灵机这个概念,我应该看哪些书
图灵机的意义与思想内涵:
图灵提出图灵机的模型并不是为了同时给出计算机的设计,它的意义我认为有如下几点:
1、 它证明了通用计算理论,肯定了计算机实现的可能性,同时它给出了计算机应有的主要架构;
2、 图灵机模型引入了读写与算法与程序语言的概念,极大的突破了过去的计算机器的设计理念;
3、 图灵机模型理论是计算学科最核心的理论,因为计算机的极限计算能力就是通用图灵机的计算能力,很多问题可以转化到图灵机这个简单的模型来考虑。
对图灵机给出如此高的评价并不是高估,因为从它的设计与运行中,我们可以看到其中蕴涵的很深邃的思想。
通用图灵机等于向我们展示这样一个过程:程序和其输入可以先保存到存储带上,图灵机就按程序一步一步运行直到给出结果,结果也保存在存储带上。
另外,我们可以隐约看到现代计算机主要构成(其实就是冯诺依曼理论的主要构成),存储器(相当于存储带),中央处理器(控制器及其状态,并且其字母表可以仅有0和1两个符号),IO系统(相当于存储带的预先输入);
㈣ 图灵机与冯诺依曼结构计算机
图灵机(英语:Turing machine),又称确定型图灵机,是英国数学家艾伦·图灵于1936年提出的一种将人的计算行为抽象掉的数学逻辑机,其更抽象的意义为一种计算模型。
图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作:
为了模拟人的这种运算过程,图灵构造出一台假想的机器,该机器由以下几个部分组成:
一条无限长的纸带TAPE。纸带被划分为一个接一个的小格子,每个格子上包含一个来自有限字母表的符号,字母表中有一个特殊的符号表示空白。纸带上的格子从左到右依次被编号为0, 1, 2, ...,纸带的右端可以无限伸展。
一个读写头HEAD。该读写头可以在纸带上左右移动,它能读出当前所指的格子上的符号,并能改变当前格子上的符号。
一套控制规则TABLE。它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作,并改变状态寄存器的值,令机器进入一个新的状态,按照以下顺序告知图灵机命令:
一个状态寄存器。它用来保存图灵机当前所处的状态。图灵机的所有可能状态的数目是有限的,并且有一个特殊的状态,称为停机状态。参见停机问题。
注意这个机器的每一部分都是有限的,但它有一个潜在的无限长的纸带,因此这种机器只是一个理想的设备。图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程。
图灵机看起来简单,但是功能非常强大。它把计算思维用形式化语言描述,从而模拟人类的计算方法,为设计计算机提供了理论基础。
冯·诺依曼(John von Neumann,1903年12月28日-1957年2月8日),美籍匈牙利数学家、计算机科学家、物理学家,是20世纪最重要的数学家之一。 冯·诺依曼是布达佩斯大学数学博士,在现代计算机、博弈论、核武器和生化武器等领域内的科学全才之一,被后人称为“现代计算机之父”、“博弈论之父”。
数学家冯·诺依曼提出了计算机制造的三个基本原则,即采用二进制逻辑、程序存储执行以及计算机由五个部分组成(运算器、控制器、存储器、输入设备、输出设备),这套理论被称为冯·诺依曼体系结构。
先来看看计算机各个功能部件的作用。
计算机使用二进制逻辑有很多好处,利于数据的传输、储存、表示。例如用高电平表示1,用低电平表示0。由此可以建立数字逻辑系统,用简单的物理元件组合表示更复杂的运算和处理。
程序控制是计算机体系结构里的一个核心思想。先把指令和数据都存放在存储器中,然后根据指令的地址取出指令,经过译码产生不同的控制信号,实现对计算机的控制,完成指令的功能。
把存储器里的信息分为指令和数据是很有必要的。指令就是指挥机器工作的指示和命令,程序就是一系列按一定顺序排列的指令,执行程序的过程就是计算机的工作过程。数据是被操作的内容。
计算机可以从时间和空间两方面来区分指令和数据。在时间上,取指周期从内存中取出的是指令,而执行周期从内存取出或往内存中写入的是数据;在空间上,从内存中取出指令送控制器,而执行周期从内存从取的数据送运算器、往内存写入的数据也是来自于运算器。
把图灵机和冯诺依曼计算机做个对比:
图灵机的纸带 ≈ 存储器,
读写头 ≈ MAR MDR 寄存器,
控制规则 ≈ 运算器+控制器,
状态 ≈ 时序+各种寄存器。
个人认为,图灵机是对于人类计算思维的理论模型,冯诺依曼计算机是通用图灵机的工程化实现。
㈤ 图灵机是否有存储系统
对于每一个行业和领域来说,几乎都存在一两项令其领域内所有人视为“终极荣誉”的大奖,例如电影业的奥斯卡奖、新闻领域的普利策奖,数学领域的沃尔夫奖和费尔兹奖等等。随着计算机通讯业的迅猛发展,“图灵”这个词频频出现在各个场合,尤其是去年比尔.盖茨携微软高层人员来华一行,期间多次提到“图灵奖”一词,而且大家对获得该奖项的人士更是恭敬有加,好奇之余,我便查阅资料,不想却发现了许多趣事,于是写来与大家分享。
“图灵(Turing)奖”是美国计算机协会(ACM,Association for Computer Machinery)干 1966年设立的,专门奖励那些对计算机科学研究与推动计算机技术发展有卓越贡献的杰出科学家。设立的初衷是因为计算机技术的飞速发展,尤其到20世纪60年代,其已成为一个独立的有影响的学科,信息产业亦逐步形成,但在这一产业中却一直没有一项类似“诺贝尔”、“普利策”等的奖项来促进该学科的进一步发展,为了弥补这一缺陷,于是“图灵”奖便应运而生,它被公认为计算机界的“诺贝尔”奖。
“图 灵”为 何 如 此 幸 运
不少人梦寐以求的国际计算机的最高奖项——图灵奖,为何它如此幸运,真是说来话长。
阿兰·图灵(Alan Turing),1912年6月23日出生于英国伦敦,他被认为成二十世纪最着名的数学家之一,谁也没有想到他的名字会和计算机产业挂钩。
20世纪的数学界正在热烈的讨论本世纪最伟大的科学发现之一 ——昆特.哥德尔的不完全性定理,在那以前,数学家们总认为,一个数学问题虽然要找到答案也许会很困难,但理论上总有一个确定的答案,一个数学命题,要么是真的,要么是假的。而哥德尔的不完全定理指出:在一个稍微复杂一点的的数学公理系统中,总存在那样的命题,我们既不能证明它是真的,也不能证明它是假的。数学家们大吃一惊,发现以往大家认为绝对严密的数学中,原来有令人如此不安的不确定性。每个逻辑学家都在苦苦思索,试图为陷入了危机的数学找到一条出路,这些逻辑学家包括当时在剑桥的贝特朗.罗素( Bertrand Russell ) 、阿尔弗雷德.怀特海(Alfred Whitehead)、路德维格.维特斯根坦 ( Ludwig Wittgenstein) 等着名的逻辑学家。这时的图灵正在剑桥求学,他也同样为此问题陷入了困境。
1936年,图灵作出了他一生最重要的科学贡献,他在其着名的论文《论可计算数在判定问题中的应用(On Computer numbers with an Application to the Entscheings -problem)》一文中,以布尔代数[i]为基础,将逻辑中的任意命题(即可用数学符号)用一种通用的机器来表示和完成,并能按照一定的规则推导出结论。这篇论文被誉为现代计算机原理开山之作,它描述了一种假想的可实现通用计算的机器,后人称之为“图灵机”。
这种假想的机器由一个控制器和一个两端无限长的工作带组成。工作带被划分成一个个大小相同的方格,方格内记载着给定字母表上的符号。控制器带有读写头并且能在工作带上按要求左右移动。随着控制器的移动,其上的读写头可读出方格上的符号,也能改写方格上的符号。这种机器能进行多种运算并可用于证明一些着名的定理。这是最早给出的通用计算机的模型。图灵还从理论上证明了这种假想机的可能性。尽管图灵机当时还只是一纸空文,但其思想奠定了整个现代计算机发展的理论基础。
1945年,图灵被调往英国国家物理研究所工作。他结合自己多年的理论研究和战时制造密码破译机的经验,起草了一份关于研制自动计算机器(ACE:Automatic Computer Engine )的报告,以期实现他曾提出的通用计算机的设计思想。通过长期研究和深入思考,图灵预言,总有一天计算机可通过编程获得能与人类竞争的智能。1950年10月,图灵发表了题为《 机器能思考吗?》的论文,在计算机科学界引起巨大震撼,为人工智能学的创立奠定了基础。同年,图灵花费4万英镑,用了约800个电子管的ACE样机研制成功,它的存储容量比爱尼亚克[ii]大了许多。在公开演示会上,被认为是当时世界上速度最快、功能最强的计算机之一。图灵还设计了着名的“模仿游戏试验”,后人称之为“图灵测试”。该实验把被提问的一个人和一台计算机分别隔离在两间屋子,让提问者用人和计算机都能接受的方式来进行问答测试。如果提问者分不清回答者是人还是机器,那就证明计算机已具备人的智能(1993年美国波士顿计算机博物馆举行的着名的“图灵测试” [iii]充分验证了图灵的预言)。
这让我想起前几年IBM公司研制的计算机“深蓝”与国际象棋世界冠军卡斯帕罗夫进行的那场人机大战,最终以“深蓝”战胜卡斯帕罗夫而宣告结束,让我们不得不佩服图灵的天才预言。
现代计算机之父冯·诺依曼[iv]生前曾多次谦虚地说:如果不考虑巴贝奇[v]等人早先提出的有关思想,现代计算机的概念当属于阿兰·图灵。冯·诺依曼能把“计算机之父”的桂冠戴在比自己小10岁的图灵头上,足见图灵对计算机科学影响之巨大。
毒 液 浸 透 苹 果,如 睡 之 死 渗 入 ……
身为一名数学家, 图灵模型研制计算机的梦想在第二次世界大战的爆发中粉碎。当时,德国法西斯正对英伦三岛狂轰滥炸,图灵的祖国危在旦夕,怀着一腔报国热情,图灵前往英国外交部承担“超级机密”研究工作,即主持对德军通讯密码的破译工作。图灵便和历史上着名的布莱奇利公园以及加密电子机械装置ENIGMA联系在了一起。
ENIGMA是德国发明家亚瑟.谢尔比乌斯(Arthur Scherbius)发明的一种加密电子器,它被证明是有史以来最可靠的加密系统之一,二战期间它开始被德军大量用于铁路、企业当中。英国第40局(英国政府负责破译密码的间谍机构)开始恐慌,因为出现了大量他们无法破译的电文。在整整13年里,英国人和法国人都认为ENIGMA是不可破译的。针对这一情况,40局新设了它的机构——英国政府代码及加密学校(GC&CS ,Government Code and Cipher School),总部坐落在白金汉郡的布莱奇利公园。在布莱奇利公园有一大批为破译ENIGMA作出卓越贡献的人们,图灵无疑是他们当中最值得叙述的一个。图灵发明了绰号为“炸弹” (Bombes)的解密机器,他被看成一位天才解密分析专家。战争结束,布莱奇利公园被关闭,“炸弹”被拆毁,所有战时有关密码分析和破译的档案资料都被销毁,直到1967年波兰出版第一本关于波兰破译ENIGMA方面的书,以及1974年温特伯坦姆写的《超级机密The Ultra Secret》一书出版,人们才知道图灵在分析解密方面的贡献。
1938年迪斯尼公司着名的动画片《白雪公主和七个小矮人》上映,图灵也观看了这部影片,在后来的日子里,他的同事常常听见他哼电影中巫婆王后泡制毒苹果的台词:“毒液 浸透苹果如睡之死渗入……”而图灵的一生正是在这首歌词中结束。
图灵在他生命的最后时光,没有机会看到自己被当作一个解密英雄来尊敬,相反,由于他同性恋的性倾向而倍受折磨。1952年因小偷入室行窃,图灵向警察报了案,但他却忘了向警察掩藏他和另一位男士同居的事实,同年他被警方逮捕,以“有伤风化罪”罪名遭到起诉,并被判为有罪。而这期间,他不得不忍受报纸媒体对他案件的公开全面报道。性倾向被公开,私生活曝光于大众,政府也取消了他情报部门的工作。他的脾气变的躁怒不安,性格阴沉郁悒。1954年6月8日,人们在图灵的寓所发现了他的尸体。他在自己的住处服用沾过氰化物的苹果而自杀。临死的前夜,也许图灵的耳边还回响着那首歌:“毒液浸透苹果如睡之死渗入……”
迄今为止,作为计算机界“诺贝尔奖”的图灵奖已走过了36个春秋。40多位图灵奖得主均对计算机科学与技术的发展创新做出了杰出贡献。他们在珍惜自己所获崇高荣誉的同时,也深切怀念阿兰·图灵这位在计算机创新史上永放光芒的先驱。
㈥ 图灵机模型中的子弹相当于计算机中的
图灵机模型中的纸带相当于计算机中的存储器(硬盘)。图灵机中的纸带相当于计算机的硬盘,图灵机,又称图灵计算、图灵计算机,是由数学家阿兰·麦席森·图灵(1912到1954)提出的一种抽象计算模型,即将人们使用纸笔进行数学运算的过程进行抽象,由一个虚拟的机器替代人们进行数学运算。
㈦ 图灵或冯.诺依曼模型建造的主要特征
图灵模型是理论模型,而冯.诺依曼是实现模型两者内容不同。图灵讲理论上计算机可实现任何算法;冯诺依曼讲计算机的物理组成部分。
图灵机是计算机模型,对写代码有指导意义。冯诺依曼是体系结构模型,对让代码跑的更快有指导意义。
简单例子就是,在现实中,不存在无限内存,图灵机需要这么一根无限长的纸带,因此冯诺依曼模型实现出现出来的更类似有限状态的自动机。
冯诺依曼模型特点:
(1)计算机应该包括五个基本组成部分:运算单元、存储器、控制器、输入输出设备。(2) 计算机中的指令和数据应该用二进制来表示。每条指令通常都有一个操作码和一个地址码。操作码表示操作属性,地址码表示内存中操作数的地址。(3) 采用存储程序模式。将程序发送到存储器,然后启动计算机工作。计算机可以自动取出并逐个执行指令,无需操作员干预。
㈧ 图灵机模型由哪几部分组成
该机器由以下几个部分组成:
1.一条无限长的纸带 TAPE。纸带被划分为一个接一个的小格子,每个格子上包含一个来自有限字母表的符号,字母表中有一个特殊的符号 表示空白。纸带上的格子从左到右依此被编号为 0,1,2,... ,纸带的右端可以无限伸展。
2.一个读写头 HEAD。该读写头可以在纸带上左右移动,它能读出当前所指的格子上的符号,并能改变当前格子上的符号。
3.一套控制规则 TABLE。它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作,并改变状态寄存器的值,令机器进入一个新的状态。
4.一个状态寄存器。它用来保存图灵机当前所处的状态。图灵机的所有可能状态的数目是有限的,并且有一个特殊的状态,称为停机状态。
(8)图灵机的模型不包括存储器扩展阅读
图灵机有很多变种,但可以证明这些变种的计算能力都是等价的,即它们识别同样的语言类,而且图灵机是一个抽象的机器,它有一条无限长的纸带,纸带分成了一个一个的小方格,每个方格有不同的颜色。