图灵机
计算机原理之图灵机与冯诺依曼机
计算机原理之图灵机与冯诺依曼机计算机科学班边敬云，刘迎春，曹晔一、冯诺依曼机冯·诺伊曼结构，也称普林斯顿结构，是一种将程序指令存储器和数据存储器合并在一起的计算机设计概念结构。
冯诺依曼机由一个同时存放指令和数据的主存储器、一个二进制的算逻运算部件、一个解释存储器中的指令并能控制指令执行的程序部件以及由控制部件操作的I/O设备，因此被称为存储程序型计算机。
冯诺依曼首次提出了三大概念：1.五大组成部件：输入设备，辅存储器，主存储器，运算器，控制器，输出设备。
2.采用二进制。
3.存储程序。
但是将CPU与存储器分开并非十全十美，反而会导致一些问题，也就是所谓的冯·诺伊曼瓶颈：在CPU与存储器之间的数据传输率与存储器的容量相比起来相当小，在现代计算机中，数据传输率与CPU 的工作效率相比之下非常小，在某些情况下（当CPU需要在巨大的数据上运行一些简单指令时），数据传输率就成了整体效率非常严重的限制。
CPU将会在数据输入或输出存储器时闲置。
由于CPU速度远大于存储器读写速率，因此瓶颈问题越来越严重。
（但后来这个问题被高速缓存解决了！）冯诺依曼结构还将运算器和存储器分开，则意味着存储器和运算器之间的传输通道的速率必须高于运算器的速度，否则运算器会处于等待状态，提高了技术上的难度。
二、图灵机图灵机，是在1936年提出的一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。
仅是解决数学问题的理想化机器。
图灵的基本思想是用机器来模拟人们用纸笔进行数学运算的过程，他把这样的过程看作下列两种简单的动作：•在纸上写上或擦除某个符号；•把注意力从纸的一个位置移动到另一个位置；而在每个阶段，人要决定下一步的动作，依赖于当前所关注的纸上某个位置的符号和当前思维的状态。
为了模拟人的这种运算过程，图灵构造出一台假想的机器，该机器由以下几个部分组成：1、一条无限长（理想化）的纸带。
图灵机计算机的理论模型
图灵机——计算机的理论模型
机器的程序是五元组｛Si , X , Y , L(R或N) , Sj｝形式的指 令集，定义了机器在一个特定状态下读入一个特定字符时所 采取的动作。 五个元素的含义如下：
①Si 表示机器当前的状态；
②X 表示机器从方格中读入的内容，也即当前内容； ③Y 表示机器用来代替X 写入方格中的内容； ④L、R、N 分别表示左移一格、右移一格和不移动； ⑤Sj 表示机器下一步的状态。
图灵机——计算机的理论模型
图灵机的计算开始于初始状态，设为S0，终止于停止（HALT）状态，设为SH。 例: 设计能够实现“a+1”运算的图灵机，计算完成后要求读写头回到原位。
图灵机进行“a+1”运算的控制规则表
输入
当前状态 （Si） S0 S1 S1 S1 S2 S2 S2 S3 S3 S3 S4 当前内容 （X ） b 0 1 b 0 1 b 0 1 b 任意 重写的新内容 （Y） b 1 0 b 1 0 1 0 1 b b
英国科学家阿兰.图灵 （1912-1954）
图灵证明，只有图灵机能解决的 计算问题，实际计算机才能解决。
“图灵奖”是美国计算机协会于1966年设立的。
什么是图灵机？ 图灵机由一条无限长的纸带、读/写头及控制
器构成。
图灵机模型
控制器内包括控制规则表，它能够通过读/写头对纸带上 的符号进行读或写，读写头可以在纸带上左右移动。 纸带分成了一个个的小方格，每个方格中可以记录机器 字母表里的符号，如0或1等。
பைடு நூலகம்输出
读写头移动方向 （L，R或N） L R L R R L L R R N R 进入的新状态 （Sj） S1 S3 S2 SH S3 S2 S4 S3 S3 SH S3
A01-2 图灵机的基本构成 (6_15)
计算概论第一讲计算机的基本原理⏹计算机的理论模型——图灵机◆从数学危机到图灵机◆图灵机的基本构成◆图灵机的运行机理⏹计算机为什么能计算？◆数的二进制表示◆二进制数的布尔运算计算机的理论模型——图灵机本节内容⏹图灵机的构成 ⏹运作机理 ⏹示例⏹图灵机的意义前节回顾⏹三次数学危机 ⏹图灵的贡献 ⏹提到了“图灵机”图灵机的构成⏹图灵机的组成◆一条存储带●双向无限延长●上有一个个小方格●每个小方格可存储一个数字/字母◆一个控制器●可以存储当前自身的状态；●包含一个读写头，可以读、写、更改存储带上每一格的数字/字母●可以根据读到的字母/数字变换自身的状态●可以沿着存储带一格一格地左移/右移图灵机如何工作图灵机的工作步骤：1.准备：（1）存储带上符号初始化；（2）控制器设置好自身当前状态；（3）读写头置于起始位置；（4）准备好工作程序；2.反复执行以下工作直到停机：（1）读写头读出存储带上当前方格中的字母/数字；（2）根据自身当前状态和所读到的字符，找到相应的程序语句；（3）根据相应程序语句，做三个动作：①在当前存储带方格上写入一个相应的字母/数字；②变更自身状态至新状态；③读写头向左或向右移一步；成功停机图灵机如何工作图灵机为什么受到重视？简单！强大！可实现！图 灵 机 的 理 论 意 义⏹可计算性的判定； ⏹意义：◆给出了一个可实现的通用计算模型； ◆引入了通过“读写符号”和“状态改变”进行运算的思想； ◆证实了基于简单字母表完成复杂运算的能力； ◆引入了存储区、程序、控制器等概念的原型；下节预告计算机为什么能够进行计算？。
计算机发展史从图灵机到现代计算机的演变
计算机发展史从图灵机到现代计算机的演变计算机的发展历程可以追溯到二十世纪四十年代，而图灵机被视为现代计算机的理论基础。
在过去的几十年里，计算机的功能和性能得到了巨大的提升和改进。
本文将从图灵机开始，探讨计算机从早期的机械装置演变至今天的现代计算机的过程。
一、图灵机的提出图灵机是由英国数学家艾伦·图灵在1936年提出的。
它是一种抽象的模型，用于描述计算和存储数据的能力。
图灵机由一个无限长的纸带、一个读写头和一系列规则组成。
这个模型的核心思想是，通过不同的规则，根据读写头的位置和状态，可以实现各种计算操作。
图灵机的提出为计算机的发展奠定了基础。
二、早期的计算机在二战期间，计算机开始进入实际应用阶段。
首先是康奇和贝克特等科学家基于图灵机的原理，研制出了世界上第一台电子计算机——康奇-贝克特型号Ⅰ。
这台计算机利用真空管作为开关和逻辑元件，并且采用了二进制表示方法。
康奇-贝克特型号Ⅰ的问世标志着电子计算机时代的正式开始。
随后，由美国计算机先驱冯·诺依曼提出的“冯·诺依曼体系结构”成为现代计算机体系结构的范本。
在这种体系结构中，计算机由五个主要部分组成：运算器、控制器、存储器、输入设备和输出设备。
冯·诺依曼体系结构的提出为计算机的设计和开发提供了指导。
在这个时期，计算机体积庞大、工作速度慢，且对能源消耗巨大。
计算机的操作需要手动设置开关和编程器插线板，这使得计算机的使用和维护变得非常复杂和耗时。
三、集成电路与微型计算机的出现到了上世纪六十年代，随着集成电路的发明和应用，计算机变得更小巧、可靠性更高、性能更强大。
集成电路是将数百个电子元件集成到一个小芯片上的技术，这使得计算机的组装和制造变得更加容易和高效。
1964年，IBM推出了System/360系列计算机，它是第一款采用集成电路的大型主机。
这一创举在计算机领域引起了广泛的关注。
随后，微型计算机开始兴起。
微型计算机是指个人电脑和工作站等小型化、个体化的计算机设备。
关于图灵机的三个问题分析
写这篇文章，是想尝试回答学习图灵机模型中遇到的三个问题：1) 为什么图灵机有不可判的问题？2) 为什么强大的图灵机会不停机？3) 为什么图灵当初要设计图灵机？图灵机（Turing machine）是英国数学家阿兰·图灵（Alan Turing）于1936年设计的一种抽象机器，用于定义和模拟计算（computing）。
图灵机虽然构造简单，但却及其强大，它能模拟现代计算机的所有计算行为，堪称计算的终极机器。
然而即便是这个终极机器，也有令它无能为力的问题，这便是第一个要回答的问题：为什么图灵机有不可判的问题？首先明确什么是图灵可识别（Turing recognizable）和图灵可判定（Turing decidable）。
图灵机的识别对象是语言，图灵可识别当然不是说图灵本人能识别的语言（照这样说汉语可能是图灵不可识别的~），事实上这只是简称，全称应该是图灵机可识别语言（Turing machine recognizable language）和图灵机可判定语言（Turing machine decidable language）。
一台图灵机在读取一个串后可能进入三种状态：接受、拒绝、循环，如果图灵机进入循环状态，那它将永不停机。
现在假设有语言A，如果能设计出一台图灵机M，对于任意字符串ω，如果ω∈A，那么M读取ω后会进入接受状态，那么A是一个图灵可识别语言。
注意这个定义对于ω不属于A的情况没有做出限制，所以M读取到不属于A的ω，那么它有可能拒绝，也有可能循环。
图灵可判定语言的要求更严格，它要求对于语言A能设计出一台图灵机M：如果ω∈A，M 进入接受状态；否则进入拒绝状态。
如果一个语言是图灵可判定的，总能设计出一台图灵机，能在有限步数内判定一个字符串是不是属于这个语言。
如果一台图灵机对所有输入总是停机，那么称它为判定器（decider）。
然而第一个问题指明一定有所有判定器都不能判定的问题，要证明这一点，得从康托（Georg Cantor）说起。
计算机科学中的计算模型
计算机科学中的计算模型计算机科学是一门极具挑战性的学科，在推进人类新技术和新思想上起着重要作用。
计算机科学的一个核心问题就是如何处理信息。
为了解决这个问题，人们发明了各种计算模型。
计算模型是指用来描述计算机系统中可进行的计算的方式和规则。
在本文中，我们将会简要地探讨一些计算模型。
1. 图灵机图灵机，是由英国数学家阿兰·图灵 (Alan Turing) 于20世纪30年代发明的一种机器模型。
图灵机是一种抽象机器，由一个无限长的纸带、一个读写头和一些程序控制器组成。
纸带上可以写有限个符号，读写头可以读取或改变纸带上的符号，程序控制器根据读写头所在的位置及当前的符号来控制下一步的操作。
图灵机被认为是通用的计算模型，这就意味着所有计算机都可以使用图灵机来模拟。
2. 基于状态转移的模型状态转移模型是另一种广泛使用的计算模型。
这个模型把计算看作状态的一系列转移。
它主要有两个组成部分：状态集合和状态转移函数。
状态集合是计算机所能具有的状态的集合，状态转移函数是描述一种状态下，如何从输入到输出的所有可能性的函数。
状态转移模型被广泛应用，在机器学习和人工智能领域有着广泛的应用。
3. 并行计算模型另一种重要的计算模型是并行计算模型。
它允许多个计算单元同时工作，以加速计算。
这种模型增加了并行性，对于处理大规模数据和高效计算非常有用。
在实际计算中，多处理器系统常用并行计算模型解决计算问题。
4. 量子计算模型近年来，随着量子计算的发展，量子计算模型变得越来越重要。
相比传统的计算模型，量子计算模型可处理的计算复杂度更高，解决的问题更加优秀。
量子计算模型的核心是量子比特和量子门。
量子比特可以用来存储量子信息，量子门可以运用量子比特进行计算。
不同于传统的计算机体系结构，量子计算机是基于量子力学理论建立的，处理信息的方式也与传统计算机不同。
总结计算模型是计算机科学中的重要组成部分，它有助于我们理解计算机如何进行处理。
在计算机科学中，图灵机、状态转移模型、并行计算模型和量子计算模型是历史上四个重要的计算模型。
图灵机共39页文档
q2 (qY,␢,-1) (qN,␢,-1) (qN,␢,-1)
q3 (qN,␢,-1) (qN,␢,-1) (qN,␢,-1)
9
• 如输入字符串x＝100100，
• DTM经九步操作后，进入终止状态qY
• 即该确定型单带图灵机对输入串x 的解答为“是”。
“是”。
• 其它情况(终止在状态qN，或永不终止)都不表示 解为“是”。
• 不确定型单带图灵机可能有多次运行。如果至少 有一次运行结果为“是”，
• 则称该图灵机接受字符串x． • 不确定型单带图灵机M的语言LM定义为
LM = {x ∈ ∑*| M接受x}
31
• NTM接受x∈ LM所需的时间是所有接受x的运 行所需步数(为两个阶段的步数之和)的最小者
33
• 集合P与集合NP的关系还不清楚，但是 显然有
P⊂ NP (证)只须证明如问题Π∈ P，则Π ∈ NP．
令A是Π的一个多项式时间算法， 只要将A充作检测部分，略去猜测器，
(猜测器不运作) 我们就得到了一个不确定型图灵机，
这是一个多项式时间不确定型图灵机，
并且它解决问题Π ，因此 Π ∈ NP．
O(2P(n) )
37
• 很多人相信P≠NP，但还没得到证明. • 如这一命题正确，则P是NP的一个真
子集。 • 则集合(NP－P)不是空集, 这是个很重
要的集合.
38
路长度是否小于或等于B． • 显然，一个实例有一条满足条件的闭
合回路的充要条件为: 存在一个可能解S, 对S检测的结果为 “是”. • 从而，巡回售货员问题被该不确定算 法解决。
26
• 多项式时间不确定算法解决问题Π 是指:
永不停息的纸带——浅谈图灵机
永丌停息癿纸带——浅谈图灵机癿工作原理及其编程模拟实现复旦大学软件工程系 王欣1．图灵机癿工作原理1936年，英国数学家及计算机逻辑学家阿兰·图灵（图1-1）提出了一种抽象癿计算模型 —— 图灵机 (TuringMachine)。
所谓图灵机，幵丌是某种具体癿计算机，而是一种抽象癿计算模型和逻辑机器。
在今天，它是一种重要癿计算机理论。
与业资料告诉我们，图灵机主要包括以下几个部分（图1-2）：（1）一条无限长癿纸带TAPE 。
纸带被划分为一个接一个癿小格子，每个格子上包含一个来自有限字母表癿符号，字母表中有一个特殊癿符号表示空白。
纸带上癿格子从左到右依此被编号为0, 1, 2, ...，纸带癿右端可以无限伸展。
（2）一个读写头HEAD 。
该读写头可以在纸带上左右移动，它能读出当前所指癿格子上癿符号，幵能改变（写入和擦除）当前格子上癿符号。
（3）一套控制觃则TABLE 。
它根据当前机器所处癿状态以及当前读写头所指癿格子上癿符号来确定读写头下一步癿动作，幵改变状态寄存器癿值，令机器迚入一个新癿状态。
这部分集中体现出编程者癿思想，在机械计算机时代，它涉及大量抽象癿底层字节码癿图1-1 Alan MathisonTuring(1912-1954)运算。
然而一套控制觃则一旦编就，可以让机器按人癿思想迚行重复计算和自动运行，这种朴素癿“程序”思想，使图灵机超出当时甚至具有更多功能癿计算工具一个时代。
（4）一个状态寄存器。
它用来保存图灵机当前所处癿状态。
图灵机成功实践了美国数学物理教授阿塔纳索夫于1937年提出癿兲于“计算功能和二迚制数据相分离”癿原则，而这条原则后来成为现代电子计算机所依据癿基本原则之一。
（图1-2）我们丌难看出，图灵机癿核心思想是通过抽象机器模拟人癿思维过程。
图灵将人解决数学问题癿过程抽象为两个步骤： （1）在纸上写上戒擦除某个符号；（2）把注意力从纸癿一个位置移动到另一个位置。
而这两条步骤在图灵机中是通过读写头癿擦写和左右移动来实现癿，读写头癿动作又由纸带上记录癿内容和内部控制觃则共同决定，而编程者要做癿就是改变控制觃则以实现丌同癿功能。
计算理论可计算性基础知识
计算理论可计算性基础知识计算理论是计算机科学的基础学科之一，研究计算问题的性质和方法。
在计算理论中，可计算性是一个重要的概念，涉及到计算问题是否可解等方面的内容。
本文将介绍计算理论中的可计算性基础知识，包括图灵机、停机问题和可计算函数等。
一、图灵机图灵机是计算理论中最基本的计算模型之一，由英国数学家阿兰·图灵在1936年提出。
图灵机由一个无限长的纸带和一个可移动的读写头组成，纸带上有一串离散的符号。
图灵机的操作包括读取纸带上的符号、根据当前符号和内部状态进行状态转移、写入符号等。
通过这些操作，图灵机可以模拟任何其他计算模型的行为。
图灵机模型的提出使得计算问题的可计算性得到了严格的定义。
一个计算问题是可计算的，即存在一个图灵机可以解决它，如果给定任何输入，图灵机要么停机并给出输出，要么永远不停机。
可计算问题可以形式化地描述为输入输出函数，即给定一个特定的输入，图灵机能够计算出相应的输出。
二、停机问题停机问题是计算理论中的一个经典问题，也是不可计算问题的例子。
停机问题是指给定一个图灵机程序和输入，判断此程序能否在有限步骤内停机。
停机问题的不可解性意味着无法找到一个通用的算法来解决所有的停机问题。
根据停机问题的不可解性，图灵机的可计算性也受到限制。
存在一些计算问题，即使使用图灵机也无法解决，这些问题被称为不可计算问题。
停机问题是其中的一个例子，因为无法判断一个程序是否会在有限步骤内停机，图灵机也无法计算出对应的输出。
三、可计算函数可计算函数是指可以使用图灵机计算的函数。
一个函数被称为可计算函数，即存在一个图灵机可以计算出给定输入下的输出。
例如，加法、减法、乘法等基本算术运算都是可计算函数。
此外，存在一些复杂的函数，如指数函数、对数函数等，也都是可计算函数。
可计算函数的概念是基于图灵机模型的计算性定义的，它提供了一种形式化的描述方式，使得计算问题的可解性可以用数学语言进行刻画。
通过研究可计算函数及其性质，我们可以深入理解计算问题的本质，并探索计算机科学的边界和限制。
图灵机模型
8
例子2-1说明
例 2-1 设M1=({q0, q1, q2},{0, 1},{0, 1, B},δ,q0 , B ,{q2})，其中δ的定义如下，对于此定义，也 可以用表2-1表示。 δ(q0, 0)= (q0, 0, R) δ(q0, 1)= (q1, 1, R) δ(q1, 0)= (q1, 0, R) δ(q1, B)= (q2, B, R)
22
2.1.1 基本图灵机
（2）处理输入串1001100101100的过程中经历的 ID变换序列如下： q01001100101100├ 1q1001100101100 ├ 10 q101100101100├ 100q11100101100 ├ 1001 q2100101100├10011q300101100 M2遇到第三个1时，进入终止状态q3，输入串 的后缀00101100还没有被处理。但是，由于 M2已经进入终止状态，表示符号串 1001100101100被M2接受。
28
构造思路
29
移动函数
0 q0 q1 q2 q3 (q3,0,L) (q0,X,R) (q1,0,R) (q2,Y,R) (q2,1,R) (q3,1,L) (q3,Z,L) (q0,X,R) (q3,Y,L) 1 2 X Y (q4,Y,R) (q1,Y,R) (q2,Z,R) (q3,Z,L) Z B
12
2.1.1 基本图灵机
如果δ(q, Xi)=(p, Y, L)则，
–
当i≠1时，M的下一个ID为 X1X2…pXi-1YXi+1…Xn
记作
X1X2…Xi-1qXiXi+1…Xn├M X1X2…pXi-1YXi+1…Xn – 表示M在ID X1X2…Xi-1qXiXi+1…Xn下，经过一次移 动，将ID变成X1X2…pXi-1YXi+1…Xn；