图灵机模型及其对现代计算影响与应用.pptx

;理解图灵机模型

图灵机与算法和可计算性的关系

图灵机模型对现代计算机的启示

图灵机的一个重要应用—形式语言及其识别;图灵(AlanTuring,1912~1954)，出生于英国伦敦，19岁入剑桥皇家学院，22岁当选为皇家学会会员。

1937年，发表了论文《论可计算数及其在判定问题中的应用》，提出了图灵机模型，后来，冯·诺依曼根据这个模型设计出历史上第一台电子计算机。

1950年，发表了划时代的文章：《机器能思考吗?》,成为了人工智能的开山之作。

计算机界于1966年设立了最高荣誉奖：ACM图灵奖。;所谓计算就是计算者(人或机器)对一条两端可无限延长的纸带上的一串0或1，执行指令一步一步地改变纸带上的0或1，经过有限步骤最后得到一个满足预先规定的符号串的变换过程。;关于数据、指令、程序及程序/指令自动执行的基本思想。

输入被制成一串0和1的纸带，送入机器中----数据。如00010000100011…

机器可对输入纸带执行的基本动作包括：“翻转0为1”，或“翻转1为0”,“前移一位”,“停止”。

对基本动作的控制----指令，机器是按照指令的控制选择执行哪一个动作，指令也可以用0和1来表示：01表示“翻转0为1”(当输入为1时不变)，10表示“翻转1为0”(当输入0时不变),11表示“前移一位”,00表示“停止”。

输入如何变为输出的控制可以用指令编写一个程序来完成,如:011110110111011100…

机器能够读取程序，按程序中的指令顺序读取指令，

读一条指令执行一条指令。由此实现自动计算。;基本的图灵机模型为一个七元组,如右图

几点结论:

(1)图灵机是一种思想模型，它由一个控制器(有限状态转换器)，一条可无限延伸的带子和一个在带子上可完成读写的读写头构成，纸带可以向右或向左移动，或者说，读写头可以向左或向右移动。

(2)一个图灵机就是一个程序。程序是五元组q,X,Y,R(或L或N),p形式的指令集。其定义了机器在一个特定状态q下从方格中读入一个特定字符X时所采取的动作为在该方格中写入符号Y,然后纸带向右移一格R(或向左移一格L或不移动N),同时将机器状态设为p供后续操作使用。;一个具体的图灵机示例;功能：将一串连续1的后面再加一位1;图灵机模型示例;图灵机模型示例;图灵机模型示例;图灵机模型被认为是计算机的基本理论模型

图灵机从初始状态开始对纸带上的输入符号进行处理，如果能够到达终止状态，则被认为是成功地完成一次计算，此时纸带上的符号就是输出。

当图灵机的输入纸带为X，运行指令集，如果能够到达终止状态且输出纸带变为期望的M(X)，则说图灵机求解了X。

有一类特殊的问题，其输入为X，而输出是1（接受）或0（拒绝），则被称为【判定问题】。例如输入一个字符串，如果输出为1表明该字符串是可接受的符合规则的字符串，否则为不可接受的或者说不符合规则的字符串。

图灵机从初始状态开始对纸带上的输入符号进行处理，如果输入处理完毕，且能够到达{接受、拒绝}等某一终止状态，则被认为是成功地完成了一次判定：输入被接受，或者输入被拒绝。

图灵机是一种离散的、有穷的、构造性的问题求解思路，一个问题的求解可以通过构造其图灵机(即程序或算法)来解决。

计算机是使用相应的程序或算法来完成任何设定好的任务。;图灵可计算问题

一个问题“能否由A计算出B？”，利用图灵机做一个判定，即：如果能在A与B之间找到或设计出一个图灵机，使输入A停机得到的结果是B，就说明这个问题可解；否则就说明这个问题不可解。

图灵机根据指令集对输入进行处理，有的输入（初始状态与初始输入）可能导致停机（即能够到达某一终止状态）。有的输入则可能导致无限的执行序列（即不能够到达任一终止状态或停留在非终止状态）。【停机问题】：是否存在一个算法，对于任意给定的图灵机都能判定任意的【初始状态+初始输入】是否会导致停机。已经证明，这样的算法是不存在的，即停机问题是不可判定的。

假设纸带上的符号串为与自然数n相关的编码。如果机器以此为输入，到达终止状态时，纸带上的符号串已改造为m相关的编码，则称机器计算了函数f(n)=m。如果一个函数以自然数为值域和定义域，并且有一个图灵机计算它，则称此函数为“可计算函数“。

已有的关于可计算函数的另一些定义，如递归函数、λ可定义函数等，都等价于图灵机定义的可计算函数（为什么？同学可继续学习相关课程来回答）

凡是能用算法方法解决的问题也一定能用图灵机解决;凡是图灵机解决不了的问题任何算法也解决不了。（为什么？同学可继续学习相关课程来回答）;;;计算机的基本部件

CPU：中央处理单元(CentralProcessUnit)，将运算器和控制器集成在一块芯片上，形成微处理器。