图灵机图灵机的定义?

图灵机  时间:2021-07-30  阅读:()

什么是图灵机

1936年,阿兰·图灵提出了一种抽象的计算模型 ── 图灵机 (Turing Machine)。

图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程,他把这样的过程看作下列两种简单的动作: 在纸上写上或擦除某个符号; 把注意力从纸的一个位置移动到另一个位置; 而在每个阶段,人要决定下一步的动作,依赖于 (a) 此人当前所关注的纸上某个位置的符号和(b) 此人当前思维的状态。

为了模拟人的这种运算过程,图灵构造出一台假想的机器,该机器由以下几个部分组成: 一条无限长的纸带。

纸带被划分为一个接一个的小格子,每个格子上包含一个来自有限字母表的符号,字母表中有一个特殊的符号 表示空白。

纸带上的格子从左到右依此被编号为 0, 1, 2, ... ,纸带的右端可以无限伸展。

一个读写头。

该读写头可以在纸带上左右移动,它能读出当前所指的格子上的符号,并能改变当前格子上的符号。

一个状态寄存器。

它用来保存图灵机当前所处的状态。

图灵机的所有可能状态的数目是有限的,并且有一个特殊的状态,称为停机状态。

一套控制规则。

它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作,并改变状态寄存器的值,令机器进入一个新的状态。

注意这个机器的每一部分都是有限的,但它有一个潜在的无限长的纸带,因此这种机器只是一个理想的设备。

图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程 图灵机停机问题(The Halting Problem)的不可判定性 图灵机停机问题: 能否给出一个判断任意一个图灵机是否停机的一般方法? 答案是NO. 这个问题实际上是问: 是否存在一台"万能的"图灵机 H, 把任意一台图灵机 M 输入给 H, 它都能判定 M 最终是否停机, 输出一个明确的 "yes" 或 "no" 的答案? 可以利用反证法来证明这样的 H 不可能存在. 假定存在一个能够判定任意一台图灵机是否停机的万能图灵机 H(M), 如果 M 最终停机, H 输出 "halt"; 如果 M 不停机, H 输出 "loop". 我们把 H 当作子程序, 构造如下程序 P: function P(M) { if (H(M)=="loop") return "halt"; else if (H(M)=="halt") while(true); // loop forever } 因为 P 本身也是一台图灵机, 可以表示为一个字符串, 所以我们可以把 P 输入给它自己, 然后问 P(P) 是否停机. 按照程序 P 的流程, 如果 P 不停机无限循环, 那么它就停机, 输出"halt"; 如果 P 停机, 那么它就无限循环, 不停机; 这样无论如何我们都将得到一个矛盾, 所以假设前提不成立, 即不存在这样的 H. 或者说, 图灵机停机问题是不可判定的(undecidable)。

什么是图灵机和通用计算机

图灵机,又称图灵计算、图灵计算机,是由数学家阿兰·麦席森·图灵(1912~1954)提出的一种抽象计算模型,即将人们使用纸笔进行数学运算的过程进行抽象,由一个虚拟的机器替代人们进行数学运算。

所谓的图灵机就是指一个抽象的机器,它有一条无限长的纸带,纸带分成了一个一个的小方格,每个方格有不同的颜色。

有一个机器头在纸带上移来移去。

机器头有一组内部状态,还有一些固定的程序。

在每个时刻,机器头都要从当前纸带上读入一个方格信息,然后结合自己的内部状态查找程序表,根据程序输出信息到纸带方格上,并转换自己的内部状态,然后进行移动。

通用计算机是指各行业、各种工作环境都能使用的计算机,学校、家庭、工厂、医院、公司等用户都能使用的就是通用计算机;平时我们购买的品牌机、兼容机都是通用计算机。

通用计算机不但能办公,还能做图形设计、制作网页动画、上网查询资料等。

图灵机的定义?

图灵机(英语:Turing Machine,又称确定型图灵机)是英国数学家阿兰·图灵于1936年提出的一种抽象计算模型,其更抽象的意义为一种数学逻辑机,可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。

Raksmart VPS主机如何设置取消自动续费

今天有看到Raksmart账户中有一台VPS主机即将到期,这台机器之前是用来测试评测使用的。这里有不打算续费,这不面对万一导致被自动续费忘记,所以我还是取消自动续费设置。如果我们也有类似的问题,这里就演示截图设置Raksmart取消自动续费。这里我们可以看到上图,在对应VPS主机的【其余操作】中可以看到默认已经是不自动续费,所以我们也不要担心被自动续费的。当然,如果有被自动续费,我们确实不想续费的...

WHloud Date鲸云数据($9.00/月), 韩国,日本,香港

WHloud Date(鲸云数据),原做大数据和软件开发的团队,现在转变成云计算服务,面对海内外用户提供中国大陆,韩国,日本,香港等多个地方节点服务。24*7小时的在线支持,较为全面的虚拟化构架以及全方面的技术支持!官方网站:https://www.whloud.com/WHloud Date 韩国BGP云主机少量补货随时可以开通,随时可以用,两小时内提交退款,可在工作日期间全额原路返回!支持pa...

企鹅小屋6折年付240元起,美国CN2 GIA VPS促销,独享CPU,三网回程CN2 GIA

企鹅小屋怎么样?企鹅小屋最近针对自己的美国cn2 gia套餐推出了2个优惠码:月付7折和年付6折,独享CPU,100%性能,三网回程CN2 GIA网络,100Mbps峰值带宽,用完优惠码1G内存套餐是年付240元,线路方面三网回程CN2 GIA。如果新购IP不能正常使用,请在开通时间60分钟内工单VPS技术部门更换正常IP;特价主机不支持退款。点击进入:企鹅小屋官网地址企鹅小屋优惠码:年付6折优惠...

图灵机为你推荐
office软件包急求微软OFFICE2010免费软件包!!!大蟒蛇平台PY平台是什么?发博客怎样在博客上发文章?创业好项目论坛现在挣钱太难了、大家有什么好项目vs2005快捷键VS2005的快捷方式是哪个文件啊?prepare的用法●请问大家关于prepare和prepare for的用法和区别~~~!!~~~~魔兽世界密保卡WOW现在的密保卡怎么弄?qq空间克隆素材qq空间克隆计算机编程基础学习电脑编程应该有什么基础?3d视频制作3D电影制作软件怎么制作3D视频效果?
秒解服务器 cdn服务器 免费ftp空间 万网优惠券 中国特价网 ibrs gg广告 789电视剧 申请网站 网购分享 shuang12 789 1美元 512内存 phpwind论坛 卡巴斯基官方下载 qq部落24-5 电脑主机配置 什么是云主机 企业私有云存储 更多