基本图灵机和图灵机的构造技术0分.pptVIP

第五章 图灵机;主要内容;Finite; 在一个图灵机的动作中，图灵机根据带头（读写头）所扫描的符号和有限控制器的状态可能作 改变状态 在被扫描的带单元上重新写一个符号，以代替原来写在该单元上的符号. 将带头向左或者右移一个单元。 * 图灵机和双向有限自动机的区别：图灵机能改变它带上的符号。 ;图灵机的形式化描述;δ函数示例： Q×∑ → Q×∑×{L ,R} δ(q,ai)=(p,B,L) q, p ∈Q δ(q,ai)=(p,b,R) ai∈∑ b∈∑ 格局 用w1q w2描述图灵机的瞬间工作状态 q为M的当前状态， w1w2∈ ∑* w1w2是当前时刻从开始端（因为可写）到右边空白符号为止的内容 当读写头已达到带的右端，则w1w2为读写头以左的内容。 约定：w1q w2表示读写头正扫描w2的最左字符 w2＝? 则表示读写头正扫描一个空白字符。;图灵机的格局;图灵机接受的语言; 任给图灵机 M = (Q, T, ?, ?, q0 , B , F ) ，以及输入字符串w?T*. 试问：对于w，M 是否停机？ 停机是指图灵机不存在下一个移动步（move）. 结论 图灵机的停机问题是不可解的（即不可判定的）. 结论 任给图灵机 M ，很容易构造一个图灵机 M?，使得L(M)= L(M? )，并满足：如果w?L(M) ，则对于 w，M? 接受w并一定停机. 如果没有特别指出，总是假定图灵机到达终态（接受态）后一定停机. 但是 ，对不能接受的字符串，图灵机可能永不停止.（只要M还在某个输入上运行，我们无法知道是因为运行的时间不够长而没有被接受，还是根本就不会停机）;图灵机举例;例1 L={an bn│n=1};对于输入字符串001122，该图灵机可以有如下推导步：; 转移图与转移表; 作为整数函数计算机的图灵机;例3：设计图灵机求真减法;求真减法（续）;例4：L=? 0 m ? m=2n, n ? 0?;Start;课堂练习;5.2 图灵机的构造技术;5.2.1. 利用带存储区的状态（storage in the state）;例：设计一个图灵机，读写头将扫视第一个字符存入有限控制器内，然后扫视整个带，若找不到与第一个相同的字符，则M接受该字符串，否则不接受。 构造M=(Q,{a,b},{a,b,B},δ,q0,B,F) 其中Q={q0,q1}×{a,b,B}={[q0,a],[q0,b],[q0,B][q1,a][q1,b][q1,B]} 初态[q0,B] 终态F={[q1,B]} δ函数：δ([q0,B],a)=([ q1,a],a,R) δ([q0,B],b)=([ q1,b],b,R) 存第一个字符 δ([q1,a],b)=([ q1,a],b,R) δ([q1,b],a)=([ q1,b],a,R) 后面符号与第一个不等，继续右移 δ([q1,a],B)=([ q1,B],B,L) δ([q1,b],B)=([ q1,B],B,L) 进入终态[q1,B] δ([q1,a],a)=Ф δ([q1,b],b)=Ф 遇到相同符号，δ无定义 M停机，不接受;5.2.2 多道（multiple tracks）图灵机;例： 多道图灵机; 5.2.3 核对符;例： 核对符;例： 核对符;核对符例 ： abtab的分析过程; 5.2.4 移位;例：构造图灵机M，要求它将带上非空白符向移动两个单元; 5.2.5 子程序（subroutines）的设计