计算理论第4章图灵机.pptVIP

* 4.4.3 图灵机的计算限界 * 4.4.3 图灵机的计算限界 2. 完全性函数 * 4.5 习题 计算理论第4章图灵机. 谢谢 * 4.2.2 多带图灵机 定理4-2 如果一个语言L被一个多带图灵机接受，它就能被一个单带图灵机接受。 * 4.2.3 非确定图灵机 【例4-8】下面的图灵机就是不确定图灵机。无向图G中，从a出发合法路径判定的不确定型图灵机。 * 4.2.3 非确定图灵机 非确定图灵机由一个有穷控制器、一条带和一个读头组成。对于一个给定的状态和被读头扫描的带符号，机器的下一个动作将有有穷个选择。 设一个非确定图灵机 M1=( K, Σ,Γ,δ,q0, B, F)，除转移函数δ外，其它同一般图灵机的定义。转移函数δ仍是从K×Γ到K×Γ×{L,R,S}上的映射，但它可能有多个映射的像,即存在q∈K, a∈Σ, δ(q,a)= (p1, b1, c1) δ(q,a)= (p2, b2, c2) …… δ(q,a)= (pr, br, cr) * 4.2.3 非确定图灵机 定理4-3 如果语言L被一个非确定图灵机M1接受，则L将被某个确定图灵机M2接受。 * 4.2.4 多头图灵机 一个k头图灵机有k个读头，一个控制器和一条带，读头由1到k编号，图灵机的一个动作由当前状态和被每个读头所扫描的符号。在一个动作中，每