09图灵机(授课版).pptVIP

形式语言与自动机 第9章 图灵机 第9章 图灵机 图灵机 (Turing machine) 是由图灵 (Alan MathisomTuring)在 1936 年提出的，它是一个通用的计算模型。 通过研究 TM，来研究递归可枚举集 (recursively enumerable set) 和部分递归函数 (partial recursive function)。 对算法和可计算性进行研究提供形式化描述工具。 第9章 图灵机 计算机科学与技术学科研究的根本问题—什么能且如何被有效地自动计算。 有效过程(effective procedure)与算法(algorithm)。 希尔伯特纲领—计划构造一个可以判定所有数学命题真假的算法。 1931年，奥地利25岁的数理逻辑学家哥德尔(Kuri G?del)发表了著名的不完整性理论，指出这种形式系统根本不存在。 具有有穷描述的过程是可数无穷多的，但函数却是不可数无穷多的。 世界上存在着许多的问题和函数，是无法用具有有穷描述的过程完成计算的——是不可计算的 (incomputable) 。 1936年，图灵提出一个通用的计算模型，它是计算机的一个简单的数学模型，与现今看到的计算机具有相同的功能。 与 TM 具有同样计算能力的还有丘奇提出的入演算、哥德尔提出的递归函数、波斯特提出的波斯特系统。 丘奇-图灵论题：可计算函数的直观概念可以用部分递归函数来等同。 9.1 基本概念 图灵提出TM具有以下两个性质 具有有穷描述。 过程必须是由离散的、可以机械执行的步骤组成。 基本 TM 图灵机 (Turing machine) / 基本的图灵机 TM M=( Q, ∑, Γ, δ, q0 , B , F ) Q 为状态的有穷集合，?q∈Q，q 为 M 的一个状态。 q0∈Q，是 M 的开始状态，对于一个给定的输入串，M 从状态 q0 启动，读头正注视着输入带最左端的符号。 F?Q，是 M 的终止状态集，?q∈F，q 为 M 的一个终止状态。与 FA和 PDA 不同，一般地，一旦 M 进入终止状态，它就停止运行。 Γ 为带符号表 (tape symbol)，?X∈Γ，X 为 M 的一个带符号，表示在 M 的运行过程中，X 可以在某一时刻出现在输入带上。 B∈Γ，被称为空白符 (blank symbol)，含有空白符的带方格被认为是空的。 ∑?Γ-{ B }为输入字母表，?a∈∑，a 为 M 的一个输入符号。除了空白符号 B 之外，只有 ∑ 中的符号才能在 M 启动时出现在输入带上。 基本 TM δ: Q×Γ?Q×Γ×{ R, L }，为 M 的移动函数(transaction function)。 δ(q, X ) = (p, Y, R ) 表示 M 在状态 q 读入符号 X，将状态改为 p，并在这个 X 所在的带方格中印刷符号 Y，然后将读头向右移一格； δ(q, X ) = (p, Y, L) 表示 M 在状态 q 读入符号 X，将状态改为 p，并在这个 X 所在的带方格中印刷符号 Y，然后将读头向左移一格。 TM的工作过程演示 例9-1 设 M1=( { q0, q1, q2}, {0, 1}, {0, 1, B},δ, q0 , B , { q2} )， 其中δ 的定义如下，也可以用下表表示。 δ( q0, 0 ) = ( q0, 0, R ) δ( q0, 1 ) = ( q1, 1, R ) δ( q1, 0 ) = ( q1, 0, R ) δ( q1, B ) = ( q2, B, R ) 即时描述 即时描述 (instantaneous description, ID) ?1? 2∈Γ*，q∈Q， ? 1q ? 2称为 M 的即时描述 q 为 M 的当前状态。 当 M 的读头注视的符号右边还有非空白符时, ?1? 2为 M 的输入带最左端到最右的非空白符号组成的符号串。 否则 ?1? 2 是 M 的输入带最左端到 M 的读头注视的带方格中的符号组成的符号串。 M 正注视着 ?2 的最左符号。 即时描述 设 X1X2…Xi-1qXiXi+1…Xn 是 M 的一个 ID 如果 δ(q, Xi ) = (p, Y, R )， 则 M 的下一个 ID 为 X1X2…Xi-1YpXi+1…Xn 记作 X1X2…Xi-1qXiXi+1…Xn├M X1X2…Xi-1YpXi+1…Xn 表示 M 在 ID X1X2…Xi-1qXiXi+1…Xn下，经过一次移动，将ID 变成 X1X2…Xi-1YpXi+1…Xn 。 如果δ( q, Xi ) = (p, Y, L )，则 当 i≠1 时，M 的下一个 ID 为 X1X2…pXi-1YXi+1…Xn 记作 X1