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

第4章 图灵机 许桂靖 杨 莹 Overview 图灵机（Turing Machine，TM），是计算机的一种简单的数学模型。 历史上，冯?诺曼计算机的产生就是由图灵机诱发的。 丘奇—图灵论题：一切合理的计算模型都等同于图灵机. 类型 文 法 结 构 产 生 式 形 式 限 制 条 件 Overview 0型语言 ———图灵机 1型语言(CSL) ———线性界限自动机 2型语言(CFL) ———下推自动机 3型语言(正规集)——有限自动机 Overview 图灵机所定义的语言类---递归可枚举集合 图灵机所计算的整数函数类---部分递归函数 以图灵机为模型,研究问题的可计算性，即确定该问题是可计算的、部分可计算的，还是不可计算的。 Overview 4.1 图灵机模型 4.2 图灵机的变化和组合 4.3 通用图灵机 4.4　图灵机可计算性 4.1 图灵机模型 4.1 图灵机模型 定义4-1 图灵机M = ( K, Σ, Γ, δ, q0, B,F)， 其中 K是有穷的状态集合； Γ是所允许的带符号集合； B ∈Γ，是空白符； Σ ? Γ，B ∈ Σ，是输入字符集合； F ? K，是终止状态集合。 q0