(19)--2 计算模型-图灵机.pptVIP

图灵机模型 图灵机 图灵机模型组成部分一条无限长的纸带。纸带被划分成一个个的格子，格子中含有一个来自有限字符集合中的符号。 图灵机模型组成部分一个读写头。读写头可以在纸带上左右移动，它能读出当前所指格子中的符号，并能改变当前格子中的符号。 图灵机模型组成部分一个控制器。机器有一个有限状态集合，其中包含了机器所有可能的内部状态，控制器能够保存机器的当前状态，并根据规则控制机器的工作。 图灵机模型组成部分一套规则集合。规则集合中含有一系列状态转移函数，能够根据当前状态以及读写头的位置，控制读写头的操作，改变状态控制器的值，使机器进入下一个状态状态转移函数可用五元组表示，例如五元组 s，X，Y，R，t 表示机器在一个特定状态s下，从当前格子中读入符号X时所采取的动作，是在当前格子中写入符号Y，然后向右移动一格，同时将机器的状态设置为t这套规则的集合就是程序 图灵机模型的意义为计算机的设计指明了理论方向。建立了计算机执行程序的基本理论模型，同时还提供了一种离散的、有限的、构造性的问题求解思路。即一个问题的求解可通过构造图灵机，用算法和程序的方式进行解决。 图灵测试1950年，图灵在《计算机器与智能》论文中，反驳了各种机器不能思维的论点，做出了肯定的回答。并且提出了“图灵测试”：如果机器在某些现实条件下，能够非常好地模仿人回答问题，以至提问者在相当长时间里误认它不是机器，那么机器就可以认为是