第二讲 图灵机型.pptVIP

第2讲 图灵机模型 图灵机(Turing machine)是由图灵（Alan Mathisom Turing）在1936年提出的，它是一 个通用的计算模型。 通过研究图灵机，来研究递归可枚举集（recursively enumerable set）和部分地 归函数（partial recursive function） 。 对算法和可计算性进行研究提供形式化描述工具。 主要内容、重难点 主要内容 图灵机作为一个计算模型，它的基本定义，即时描述，图灵机接受的语言；图灵机的构造技术；图灵机的变形；Church-Turing论题；通用图灵机。可计算语言、不可判定性、P-NP问题)。 重点 图灵机的定义、图灵机的构造。 难点 图灵机的构造。 2.1 基本概念 图灵提出图灵机具有以下两个性质 具有有穷描述。 过程必须是由离散的、可以机械执行的步骤组成。 基本模型包括 一个有穷控制器。 一条含有无穷多个带方格的输入带。 一个读头。 一个移动将完成以下三个动作 改变有穷控制器的状态； 在当前所读符号所在的带方格中印刷一个符号； 将读头向右或者向左移一格。 直观物理模型 2.1.1 基本图灵机 图灵机（Turing machine）/基本的图灵机 M=(Q, ∑, Γ, δ,q0 , B , F) ， Q为状态的有穷集合，?q∈Q，q为M的一个状态； q0∈Q，是M的开始状