图灵机简述
理论计算机科学中的图灵机
理论计算机科学中的图灵机图灵机是理论计算机科学中的一个重要概念。
它被认为是能够计算任何可计算问题的最基本的计算机模型。
理解图灵机对于对计算机科学的学习和研究都至关重要。
一、图灵机的定义和原理图灵机是由英国数学家图灵提出的一种计算模型。
它包括一个有限控制器和一条无限长的纸带。
纸带被划分为一系列的单元格，每个单元格上可以写上一个字符。
控制器通过读取纸带上的字符和控制器内部的状态来进行计算。
它可以进行有限的计算，而且可以处理无限长的输入。
在图灵机模型中，所有的操作都是基于读取和写入单元格上的字符来进行。
图灵机具有非常简单的结构，但它却能够计算出任何可计算问题。
二、图灵机的应用图灵机能够计算出任何可计算问题，因此它在理论计算机科学中有着非常重要的应用。
它被用于证明计算机科学中的许多重要问题，例如停机问题和可计算性问题。
通过证明一个问题是不可计算的，我们可以得出它是无法用计算机解决的。
这对于计算机的设计和实现都有着重要的指导意义。
此外，图灵机还被广泛应用于计算机语言和自动机理论的研究中。
我们可以使用图灵机来描述计算机语言的语法和语义，并且使用它来定义自动机模型。
这在编程语言的编译、解释和分析中都有着广泛的应用。
三、图灵机的限制尽管图灵机是一种非常强大的计算模型，它仍然存在着一些限制。
其中最明显的一点是图灵机的速度。
尽管图灵机能够计算出任何可计算问题，但某些问题可能需要非常长的时间才能得到结果。
例如，计算出一个长文本的哈希值可能需要几分钟，而对于一个复合的问题，甚至需要几个世纪才能计算得出。
此外，图灵机还无法解决某些问题，例如非计算问题和不规则问题。
这些问题之所以无法用图灵机解决，是因为它们没有确定的方法来解决它们。
这些问题是无法用算法来解决的，并且需要人类直接进行解决。
四、结语图灵机是理论计算机科学中最重要的概念之一。
它被认为是能够计算出任何可计算问题的最基本计算机模型。
通过图灵机的研究，我们可以深入理解计算机科学的基本原理，理解计算机能力和限制。
图灵机概述
图灵机英国数学家A.M.图灵提出的一种抽象计算模型，用来精确定义可计算函数。
图灵机由一个控制器、一条可无限延伸的带子和一个在带子上左右移动的读写头组成。
这个在概念上如此简单的机器，理论上却可以计算任何直观可计算的函数。
图灵机作为计算机的理论模型，在有关计算理论和计算复杂性的研究方面得到广泛的应用。
研究简况由于图灵机以简明直观的数学概念刻划了计算过程的本质，自1936年提出以来，有关学者对它进行了广泛的研究。
C.E.仙农证明每一个图灵机等价于仅有两个内部状态的图灵机，王浩证明每个图灵机可由具有一条只读带和一条只有两个符号的存储带的图灵机模拟。
人们还证明，图灵机与另一抽象计算模型──波斯特机器在计算能力上是等价的（见波斯特对应问题）。
人们还研究了图灵机的各种变形，如非确定的图灵机、多道图灵机、多带图灵机、多维图灵机、多头图灵机和带外部信息源的图灵机等。
除极个别情形外，这些变形并未扩展图灵机的计算能力，它们计算的函数类与基本图灵机是相同的，但对研究不同类型的问题提供了方便的理论模型。
例如，多带图灵机是研究计算复杂性理论的重要计算模型。
人们还在图灵机的基础上提出了不同程度地近似于现代计算机的抽象机器，如具有随机访问存储器的程序机器等。
基本结构和功能图灵机（见图）的控制器具有有限个状态。
其中有两类特殊状态：开始状态和结束状态（或结束状态集合）。
图灵机的带子分成格子，右端可无限延伸，每个格子上可以写一个符号，图灵机有有限个不同的符号。
图灵机的读写头可以沿着带子左右移动，既可扫描符号，也可写下符号。
在计算过程的每一时刻，图灵机处于某个状态，通过读写头注视带子某一格子上的符号。
根据当前时刻的状态和注视的符号，机器执行下列动作：转入新的状态；把被注视的符号换成新的符号；读写头向左或向右移动一格。
这种由状态和符号对偶决定的动作组合称为指令。
例如指令q1a i│a j q2L表示当机器处在状态q1下注视符号a i时,将a i换成符号a j,转入新的状态q2,读写头左移一格。
图灵机的思想与模型简介
谢谢观看！
过三第一组全体成员！
10/38
计算
所谓计算就是计算者(人或机器)对一条两端可无限延长的纸带上的一 串0或1，执行指令一步一步地改变纸带上的0或1，经过有限步骤最后得 到一个满足预先规定的符号串的变换过程。
0110101
程 序
…10001110110
输入
通用机器
由“程序”控制， 一步步将输入
10001…
“转换”为输出
输出
0110101
读一条指令执行一条指令。由此实现自动计算。
5/38
图灵机是什么?
图灵机模型
基本的图灵机模型为一个七元组,如右图示意
几点结论: (1) 图灵机是一种思想模型，它由一个控制器 (有限状态转换器)，一条可无限延伸的带子和一个 在带子上左右移动的读写头构成。
(2) 程序是五元组<q,X,Y,R(或L或N),p>形 式的指令集。其定义了机器在一个特定状态q下
从方格中读入一个特定字符X时所采取的动作为在 该方格中写入符号Y, 然后向右移一格R (或向左移 一格L或不移动N), 同时将机器状态设为p供下一条 指令使用。
图灵机模型示例。 (注:圆圈内的是状态，箭线上的是
<X,Y,R>，其含义见前页)
(S1,0,0,R,S1) (S1,1,1,R,S2) (S2,1,1,R,S2) (S2,0,1,L,S3) (S3,1,1,L,S3) (S3,0,0,N,S4)
图灵机的思想
图灵机的工作原理
图灵机的工作原理图灵机的工作原理可以简单地描述为，读取当前纸带上的符号，根据当前状态和读取的符号，确定下一步的操作，包括写入新的符号、移动读写头的位置，以及改变当前状态。
这些操作是根据事先定义好的转移规则来进行的，而转移规则的定义则取决于具体的计算问题。
通过不断地执行这些操作，图灵机就能够模拟出任何可计算的问题，包括数学运算、逻辑推理等等。
图灵机的工作原理基于一种非常简单的逻辑，但却能够模拟出非常复杂的计算过程。
这是因为图灵机的模型具有非常强大的表达能力，可以表示出各种各样的计算问题。
同时，图灵机的工作原理也为计算理论的发展提供了一个非常重要的范式，即“图灵等价”。
根据图灵等价的原理，如果一个计算模型能够模拟出图灵机的行为，那么它就能够解决与图灵机一样的所有计算问题。
图灵机的工作原理在计算理论中具有非常重要的地位，它不仅为我们理解计算的本质提供了一个非常好的模型，同时也为我们研究计算问题的可解性提供了一个非常好的工具。
图灵机的工作原理也为我们提供了一种非常重要的思维方式，即通过简单的操作规则来模拟复杂的计算过程。
这种思维方式不仅在计算理论中有着重要的应用，同时也在计算机科学和人工智能领域中有着非常重要的意义。
总的来说，图灵机的工作原理是基于一种简单的操作规则，通过不断地读取和写入符号来模拟计算过程。
图灵机的模型具有非常强大的表达能力，可以表示出各种各样的计算问题。
图灵机的工作原理在计算理论中具有非常重要的地位，它为我们理解计算的本质提供了一个非常好的模型，同时也为我们研究计算问题的可解性提供了一个非常好的工具。
通过学习图灵机的工作原理，我们可以更好地理解计算的本质，同时也可以更好地应用计算理论的方法来解决实际的计算问题。
计算机的原型──图灵机
计算机的原型──图灵机现代计算机的原型当推英国人图灵设计的“理想计算机”。
图灵探讨了通用数字计算机制造的可能性。
他于１９４３年实际造出破译密码的计算机，在二战中帮助英国破译德军的密码，在时间上早于第一台电子计算机。
只是由于军事保密，外人鲜知其详。
图灵的设计思想主要是，把人们在进位时计算时的动作分解为比较简单的动作。
设想一个人在一张纸上做计算，他需要：(1)一种储存计算结果的存储器，即纸张；(2)一种语言，表示加减乘除等操作和数字的符号；(3)扫描区，在计算过程中，看到的上下左右几个方格中的数字；(4)计算意向，即在计算的每一阶段打算下一步做什么，例如看到６＋９就要准备进位等；(5)执行下一步计算。
至于每一步计算，无非是：(1)改变数字或符号；(2)扫描区的改变，往左进位或往右添位等；(3)计算的意向改变等。
图灵把问题设想得更简单一些，把２６×３２的竖式演算穿在纸带上：２６×３２＝５２＋７８０＝８３２。
如果每个数字都用二进位数表示，加减乘除、等号也用二进数码表示，那么一个计算就得到一条纸带上的由０和１组成的数串。
设有一架机器，读写头解释带子上的输入和给出意向机器的输出。
注视格的内容经读写头传给机器，由子机器决定下一步操作交读写头去执行。
读写头要做的动作无非是三类：(1)在注视格中写或不写（即改变或不改变内容）；(2)将读写头向左或向右移动一格；(3)停止。
图灵的设想成功地把计算过程机械化了。
进行近似计算，解方程，都有一定的算法和步骤，如果我们把这些告诉机器，它就知道下一步该做什么。
由此看来，图灵机能正确、高效地进行计算活动，减少人在这方面的劳动。
图灵机的工作原理
图灵机的工作原理图灵机是由英国数学家图灵提出的一种理论计算模型，它是一种抽象的计算装置，能够模拟任何逻辑上可行的计算过程。
图灵机的工作原理是通过一条无限长的纸带和一个读写头来实现的，下面我们来详细了解一下图灵机的工作原理。
首先，图灵机的纸带被划分为一个个格子，每个格子上可以写上符号，这些符号可以是0或1，也可以是其他任意的符号。
图灵机的读写头可以在纸带上左右移动，并且可以读取当前所在格子上的符号，也可以向当前格子写入新的符号。
图灵机还有一个状态寄存器，用来记录当前的状态。
图灵机的工作原理可以简单描述为，根据当前的状态和当前格子上的符号，图灵机根据预先设定的一系列规则进行状态转移，并在纸带上进行读写操作。
这个过程可以一直进行下去，直到图灵机停止。
在图灵机的停止状态下，我们可以根据纸带上的符号来得到图灵机的输出结果。
图灵机的工作原理可以用以下几个步骤来描述：1. 初始化，将输入数据写入纸带，并将读写头定位到初始位置。
2. 状态转移，根据当前状态和当前格子上的符号，根据预先设定的规则进行状态转移。
3. 读写操作，根据状态转移的结果，进行读写操作，改变当前格子上的符号，并移动读写头的位置。
4. 重复2、3步骤，直到图灵机停止。
图灵机的工作原理非常简单，但却能够模拟任何逻辑上可行的计算过程。
这是因为图灵机的状态转移规则可以根据不同的输入数据和状态进行调整，从而实现不同的计算过程。
这也是图灵机被认为是通用计算模型的原因之一。
总结一下，图灵机的工作原理是通过纸带和读写头来实现的，根据预先设定的规则进行状态转移和读写操作，从而模拟任何逻辑上可行的计算过程。
图灵机的工作原理非常简单，但却具有非常强大的计算能力，这也是图灵机被广泛应用于计算理论研究的原因之一。
9-1 认识图灵机
123确定型图灵机非确定型图灵机P 和NP 问题类NP 完全问题介绍什么是算法定义算法是一个有穷规则的有序集合。
这些规则确定了解决某一类问题的一个运算序列，对于该类问题的任何初始输入，它能机械地一步一步地计算，并在有限步后终止计算，产生输出。
算法的五大特征：12345有穷性确定性：能行性：输入：什么是算法输出：确定型图灵机根据当前状态和各带头扫描到的当前符号所确定的映射关系，把当前状态改变为新的状态。
图灵机的工作过程是这样进行的：确定型图灵机清除各带头下的当前方格中原有的带符号并写上新的带符号；或者保留原有的带符号。
每一条带的带头，向左移动一格，或者向右移动一格，或者停在当前方格不动。
确定型图灵机可以用一个七元式来形式地描述一台k 带图灵机。
定义T ——一个有穷符号集。
I ——输入字符集，I 包含于T 。
Q ——是一个有穷状态集。
为初始状态；为终止状态或接受状态。
0q Q f q Q b ——T 中的唯一空白符，有b T I δ ——转换函数，是从的某一个子集到的映射函数。
k *Q T k **,{,}Q T L R S 一台确定型k 带图灵机M 由一个七元组构成，其中：0f TM Q T I b q q （，，，，，， ）确定型图灵机例构造一台能识别字母表Σ={0，1}上的所有正反读相同的字的二带图灵机。
它的工作过程是：确定型图灵机10101q 0状态……带1带2当带1上有输入字符串符，两个带头都扫描着各带左边的第一方格时，机器状态为初始状态确定型图灵机10101q 1状态……带1带2X确定型图灵机10101q 1状态……带1带2X 1确定型图灵机10101q 1状态……带1带2X 10确定型图灵机10101q 1状态……带1带2X 101确定型图灵机10101q 1状态……带1带2X 1010确定型图灵机10101q 1状态……带1带2X 10101确定型图灵机10101q 2状态……带1带2X 10101确定型图灵机10101q 2状态……带1带2X 10101确定型图灵机10101q 2状态……带1带2X 10101确定型图灵机10101q 2状态……带1带2X 10101确定型图灵机10101q 2状态……带1带2X 10101确定型图灵机10101q 2状态……带1带2X 10101确定型图灵机10101q 3状态……带1带2X 10101确定型图灵机10101q 3状态……带1带2X 10101确定型图灵机10101q 4状态……带1带2X 10101确定型图灵机10101q 3状态……带1带2X 10101确定型图灵机10101q 4状态……带1带2X 10101确定型图灵机10101q 3状态……带1带2X 10101确定型图灵机10101q 4状态……带1带2X 10101确定型图灵机10101q 3状态……带1带2X 10101确定型图灵机10101q 4状态……带1带2X 10101确定型图灵机10101q 3状态……带1带2X 10101确定型图灵机10101q 5状态………带1带2X 10101定义非确定型图灵机T ——一个有穷符号集。
图灵与图灵机
图灵与图灵机关于图灵的介绍：图灵是著名的数学家，逻辑学家，是计算机和人工智能之父。
图灵对于人工智能的发展有诸多贡献，提出了一种用于判定机器是否具有智能的试验方法，即图灵测试，至今，每年都有试验的比赛。
此外，图灵提出的著名的图灵机模型为现代计算机的逻辑工作方式奠定了基础。
关于图灵机的介绍：根据了解，图灵机是一种抽象的机器（没有实体机），是一种任意解决数学逻辑过程的机器，是一种理论上的通用机（在50年代计算机只能解决某一特定逻辑问题）。
图灵机是模拟人写字的过程，包括两个步骤：1.在纸上写入或擦去一个符号；2.把注意力从纸的一个位置移动到另一个位置。
把注意力从纸的一个位置移动到另一个位置。
其包括了以下几个部件：1.读写头，它可以读出和改变纸上的符号，并且可以左右移动；2.状态寄存器，用于保存图灵机所处在的状态（包括停机问题）；3.控制规则，根据读写头的状态和纸带上的字符来确定下一步动作，并改变状态寄存器的值；4.无限长的纸带，字母符号记录的载体；这个机器可以解决人类已知的所有计算问题，以及由其衍生的停机问题对数学和计算机的发展产生重大影响。
下面我来讲讲停机问题：其本质问题是: 给定一个图灵机T，和一个任意语言集合S，是否T会最终停机于每一个s∈S。
其意义相同于可确定语言。
显然任意有限个S是可判定性的，可列的S也是可停机的。
通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
如果这个问题可以在有限的时间之内解决，则有一个程序判断其本身是否会停机并做出相反的行为，这时候显然不管停机问题的结果是什么都不会符合要求。
所以这是一个不可解的问题。
这和理发师的问题有着很大的相似性，停机问题是目前逻辑学的焦点，和第三次数学危机的解决方案。
图灵机还有许多变种：多带图灵机，非确定性图灵机，枚举器等（来自百度，对此不太了解）。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
计算引论课程论文图灵机院（系）计算机学院专业名称计算机科学与技术学号39061606姓名苏振昊2011年5月9日目录前言 (2)摘要 (3)Abstract (4)1.图灵机 (5)⑴图灵与图灵机 (5)⑵图灵的基本思想 (6)⑶图灵机和计算 (7)⑷停机问题 (8)⑸通用图灵机 (8)2超越图灵机算 (9)总结 (10)参考文献 (11)前言图灵机模型是目前为止最为广泛应用的经典计算模型。
目前人类尚无找到其它的计算模型，其可计算的问题类超过图灵机的计算能力。
图灵机模型证明了通用计算理论，肯定了计算机实现的可能性，它也给出了计算机应有的主要架构；它引入了读写与算法与程序语言的概念，极大的突破了过去的计算机器的设计理念；同时，图灵机模型理论是计算学科最核心的理论，因为计算机的极限计算能力就是通用图灵机的计算能力，很多问题可以转化到图灵机这个简单的模型来考虑。
可以说，正是在图灵搭建的理论基础之上，计算机才有了后来的蓬勃发展。
因此，我认为有必要在这里探讨一下图灵机模型，这个迄今为止最为经典的计算模型。
摘要图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程。
为了模拟人的这种运算过程，图灵构造出一台假想的机器，这个机器的每一部分都是有限的，但它有一个潜在的无限长的纸带，因此这种机器只是一个理想的设备。
图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程。
同时，由于停机问题的不可解，这就存在一些图灵机所不能解决的问题，也让我们去思考、去探索出能够超越图灵计算的计算模型。
关键词：图灵、图灵机、停机问题AbstractThe spirit of the basic ideas is used to simulate the pen to paper mathematical simulation process. In the process of this operation, the Turing structure one imaginary machine, the machine of each chapter is limited, but it had an immense length of paper, so this machine is just a dream. The Turing think such a machine can impersonate the human beings’ any com putation process.At the same time, the service of the problem of mystery, some Turing machine had not, let us to think, to discover that the spirit of transcending the computation models.Keywords: Turing, Turing machines, halting problem1.图灵机所谓的图灵机就是指一个抽象的机器，它有一条无限长的纸带，纸带分成了一个一个的小方格，每个方格有不同的颜色。
有一个机器头在纸带上移来移去。
机器头有一组内部状态，还有一些固定的程序。
在每个时刻，机器头都要从当前纸带上读入一个方格信息，然后结合自己的内部状态查找程序表，根据程序输出信息到纸带方格上，并转换自己的内部状态，然后进行移动。
⑴图灵与图灵机在20世纪以前，人们普遍认为，所有的问题类都是有算法的，人们的计算研究就是找出算法来。
但是20世纪初，人们发现有许多问题已经过长期研究，仍然找不到算法，于是人们开始怀疑，是否对这些问题来说，根本就不存在算法，即它们是不可计算的。
这种不存在性当然需要证明，这时人们才发现，无论对算法还是对可计算性，都没有精确的定义。
1934年，哥德尔在埃尔布朗的启示下提出了一般递归函数的概念，1936年，克林又加以具体化。
同年，丘奇提出了“丘奇论点”，用一般递归函数虽给出了可计算函数的严格数学定义，但在具体的计算过程中，就某一步运算而言，选用什么初始函数和基本运算仍有不确定性。
为消除所有的不确定性，图灵在他的“论可计算数及其在判定问题中的应用”一文中从一个全新的角度定义了可计算函数，他全面分析了人的计算过程，把计算归结为最简单、最基本、最确定的操作动作，从而用一种简单的方法来描述那种直观上具有机械性的基本计算程序，使任何机械的程序都可以归约为这些动作。
这种简单的方法是以一个抽象自动机概念为基础的，其结果是：算法可计算函数就是这种自动机能计算的函数。
这不仅给计算下了一个完全确定的定义，而且第一次把计算和自动机联系起来，产生了巨大的影响，这种“自动机”就是我们所说的图灵机。
⑵图灵的基本思想图灵的基本思想就是用机器来模拟人们用纸笔进行数学运算的过程，他把用纸笔进行的数学运算过程看作两种简单的动作，即在纸上写上或擦除某个符号，和把注意力从纸的一个位置移动到另一个位置。
而在每个阶段，人要决定下一步的动作，依赖于这个人当前所关注的纸上某个位置的符号，和此人当前思维的状态。
为了模拟人的这种运算过程，图灵构造出一台假想的机器，该机器由以下几个部分组成：1.一条无限长的纸带TAPE。
纸带被划分为一个接一个的小格子，每个格子上包含一个来自有限字母表的符号，字母表中有一个特殊的符号表示空白。
纸带上的格子从左到右依此被编号为0, 1, 2, ... ，纸带的右端可以无限伸展。
2.一个读写头HEAD。
该读写头可以在纸带上左右移动，它能读出当前所指的格子上的符号，并能改变当前格子上的符号。
3.一套控制规则TABLE。
它根据当前机器所处的状态以及当前读写头所指的格子上的符号来确定读写头下一步的动作，并改变状态寄存器的值，令机器进入一个新的状态。
4.一个状态寄存器。
它用来保存图灵机当前所处的状态。
图灵机的所有可能状态的数目是有限的，并且有一个特殊的状态，即停机状态。
这个机器的每一部分都是有限的，但它有一个潜在的无限长的纸带，因此这种机器只是一个理想的设备。
图灵认为这样的一台机器就能模拟人类所能进行的任何计算过程。
⑶图灵机和计算一台图灵机是一个七元组M＝（Q，∑，Γ，δ，B，q0，F），其中Q、Σ、Γ都是有限集合，且满足：Q 为状态的有限集合；∑为有限字母表，为输入符号集；Γ为线性带符号集，∑⊆Γ；B空符号，BΓ∈，B∉∑；q0∈Q为初始状态；F⊆Q是终止状态集;δ：Q×→Γ Q×(Γ×{L, R, S})为转移函数。
图灵机M＝（Q，∑，Γ，δ，B，q0，F）将以如下方式运作：开始的时候将输入符号串从左到右依此填在纸带的格子上，其他格子保持空白(即填以空白符)。
M的读写头指向第0号格子，M处于状态q0。
机器开始运行后，按照转移函数δ所描述的规则进行计算。
例如，若当前机器的状态为q，读写头所指的格子中的符号为x，设δ(q,x)=(q',x',L)，则机器进入新状态q'，将读写头所指的格子中的符号改为x'，然后将读写头向左移动一个格子。
若在某一时刻，读写头所指的是第0号格子，但根据转移函数它下一步将继续向左移，这时它停在原地不动。
换句话说，读写头始终不移出纸带的左边界。
若在某个时刻M根据转移函数进入了状态qaccept，则它立刻停机并接受输入的字符串；若在某个时刻M根据转移函数进入了状态qreject，则它立刻停机并拒绝输入的字符串。
转移函数δ 是一个部分函数，换句话说对于某些q，x，δ(q,x)可能没有定义，如果在运行中遇到下一个操作没有定义的情况，机器将立刻停机。
⑷停机问题停机问题是目前逻辑数学的焦点，和第三次数学危机的解决方案。
其本质问题是: 给定一个图灵机T，和一个任意语言集合S, 是否T会最终停机于每一个。
其意义相同于可确定语言。
显然任意有限S是可判定性的，可数的S也是可停机的，在使用oracle输入的帮助下。
通俗的说，停机问题就是判断任意一个程序是否会在有限的时间之内结束运行的问题。
如果这个问题可以在有限的时间之内解决，可以有一个程序判断其本身是否会停机并做出相反的行为。
这时候显然不管停机问题的结果是什么都不会符合要求。
所以这是一个不可解的问题。
停机问题本质是一阶逻辑的不自恰性和不完备性。
类似的命题有理发师悖论、全能悖论等。
⑸通用图灵机能够模拟其它所有图灵机的图灵机叫做“通用图灵机”。
现代电子计算机其实就是这样一种通用图灵机的模拟，它能接受一段描述其他图灵机的程序，并运行程序实现该程序所描述的算法。
但它只是模拟，因为现实中的计算机的存储都是有限的，所以无法跨越有限状态机的界限。
2超越图灵机算我们看到，图灵机都是按照固定的规则进行行动的机械装置，我们能否超越图灵计算呢？如果想彻底超越图灵计算的限制，我们必须要放弃程序的实在性。
也就是说程序在每时每刻都要变化成不是它自己了。
这样我们就有了一条全新的创造人工智能的思路。
即我们从最根本的超越图灵计算的机器入手。
无论是专家系统还是神经网络，它们总有一个一成不变的规则，因此都是固定死的程序。
但是我们又如何创造出一个总在变化的机器呢？近年来人们研究的涌现智能似乎已经非常接近我们的目标了。
科学家们用一群小机器人创造出一个动态的机器人群体，试图用类似简单蚂蚁构造复杂蚂蚁王国的思路来创造群体的智能。
这个时候，无意识的小机器人组合到一起就有可能完成某种并不存在于个体之中的群体行为，这被科学家们称之为涌现。
这样的涌现智能群体也许可能最终超越图灵计算。
总结图灵机是目前为止应用最为广泛和最为有效的一个计算模型，尽管除图灵机以外，人们也发明了如寄存器机等其他计算模型，但这些模型无一例外的都和图灵机的计算能力等价，因此邱奇、图灵和哥德尔也提出了著名的邱奇-图灵论题：一切直觉上能行可计算的函数都可用图灵机计算，反之亦然。
虽然图灵机也存在着一些局限，一些不能解决的问题，但它仍然是迄今为止最为成功的计算模型。
在计算机领域内仍然有着十分广泛、重要的应用，需要我们进行进一步的深刻认识与研究。
第10页参考文献[1] 科学出版社. 《计算机和难解性》[2] 张江 . 《图灵机与计算问题》[3] 祁亨年. 《计算机导论》第11页。