Part_4__图灵机与可计算理论.pptVIP

Part 4 图灵机及可计算理论;Part 4 主要内容提示;一、图灵机及形式定义;图灵机;图灵机是通用的计算模型，是计算机的数学模型 图灵在论述“有些数学问题是不可解的”时，提出了图灵机 图灵论题：凡是可计算的函数，都可以用图灵机计算 丘奇论题：任何计算，如果存在一个有效过程，它就能被图灵机实现 提出TM的目的在于: 对有效的计算过程(即算法)进行形式化的描述, 忽略模型的存储容量在内的一些枝节问题, 只考虑算法的基本特征. 图灵提出TM具有以下两个性质 具有有穷描述。 过程必须是由离散的、可以机械执行的步骤组成。;图灵生平 1912年出生，演算能力突出 1931年，进剑桥大学学数学 1936年，提出图灵机模型 1938年，获普灵斯顿大学博士学位 1950年，发表论文“计算机和智能”，提出图灵测试 1951年，成为英皇家学会院士 1954年，不幸去世;Alan Turing(1912-1954);图灵机的物理模型 基本模型包括 一个有穷控制器。 一条含有无穷多个带方格的输入带。 一个读头。 一个移动将完成以下三个动作： 改变有穷控制器的状态； 在当前所读符号所在的带方格中印刷一个符号； 将读头向右或者向左移一格。;图灵机的形式定义;TM M=(Q, ∑, Γ, ?, q0, B, F) ? 称为移动函数 ? ：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 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) ;补充：图灵机的转移图 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);图灵机接受的语言;设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 ;├Mn表示├M的n次幂：├Mn =(├M)n ├M+表示├M的正闭包： ├M+ =(├M)+ ├M*表示├M的克林闭包： ├M* =(├M)* 在意义明确时，用├、├n 、├+、├*表示;例 M1在处理输入串的过程中经历的ID变换序列 　　M1=({q0, q1, q2},{0, 1},{0, 1, B}, ?, q0 , B ,{q2});定义9-3 　TM接受的语言 TM M=(Q, ∑, Γ, ?, q0, B, F) L(M)={x | x∈∑*且q0x├M* ?1q ?2 q?F ?1, ?2?? *} ;语言;例 M2=({q0, q1, q2, q3},{0, 1},{0, 1, B}, ?,q0 , B ,{q3})， ?(q0, 0)= (q0, 0, R) ?(q0, 1)= (q1, 1, R) ?(q1, 0)= (q1, 0, R) ?(q1, 1)= (q2, 1, R) ?(q2, 0)= (q2, 0, R) ?(q2, 1)= (q3, 1, R) M2接受的语言是什么？;M2=({q0, q1, q2, q3},{0, 1},{0,1,B},?,q0 , B ,{q3})处理输入串的过程:;一、图灵机及形式定义;Part 4 主要内容提示;二、图灵机的构造;一般构造方法;例 构造TM M3，使L(M)={0n1n2n | n≥1}。 不能通过“数” 0、1、或者2的个数来实现检查。 用匹配的方法比较它们的个数是否相同： 出现一个0、必然所有0后有1，所有1后有2。 遇0后在带方格上印刷一个X，找到1后在带方格上印刷一个Y，再找到2后在带方格上印刷一个Z。 带上为XX…XYY…YZZ…ZB时接受 例：对000111222;正常情况下，输入带上的符号串的一般形式为 00…0011…1122…22 TM经过一段运行, 输入带上的符号串的一般情况为 X…X