番茄花園-.pptVIP

1 计算理论 2 主要内容 3.1 图灵机 3.1.1 图灵机形式化定义 3.1.2 图灵机例子 3.2 图灵机的变形 3.2.1 多带图灵机 3.2.2 非确定型图灵机 3.2.1 枚举器 3.2.1 与其他模型的等价性 3.3 算法的定义 3.3.1 希尔伯特问题 3.3.2 描述图灵机的术语 3 §3.1 图灵机 What do we really know? 我们是否能确定某个语言是正则的或CFL？ 我们知道： { 1x | x = 0 mod 7 } is regular（比较规律，可有限描述） { 1x | x is prime素数 } is not regular （比较复杂，现在数学家还不能简单描述） But what about { 1x | x and x+2 are prime }? This is (yet) unknown. 说明：对语言的描述和判定是个需要研究的问题 4 §3.1 图灵机 计算机科学历史上关于概念的争论 什么是计算 什么是操作系统 基本上解决 什么internet ? 什么是数据库 什么是数据仓库 还在争论 什么是数据网格 解决方法， 给出大众能理解的代表 5 §3.1 图灵机 计算机科学历史上关于概念的争论 解决的办法， 给出一个代表 什么是 3的倍数 { 3N |N=1,2,3}, {x| x mod 3 =0} 代表元 ：3 什么是操作系统 代表元：Windows, Unix 什么internet 代表元：大众理解：Web ， IE 什么是计算? 多个模型；代表元：图灵机, 或 递归函数论 6 §3.1 图灵机 在还没有计算机的时候， 凭想象力把后来出现的 把计算机的理论模型建立起来了。 1936年 想得如此周到、严密 好像从高度文明的外星来的文化使者 7 §3.1 图灵机 Alan M. Turing (1912–1954) In 1936, Turing introduced hisabstract model for computation inhis article “On Computable Numbers,”. At the same time, Alonzo Church published similar ideas and results. 殊途同归 Turing model 成为理论计算科学的标准模型standard model 8 图灵机（Turing Machine，TM），是计算机的一种简单的数学模型。 历史上，冯?诺曼计算机的产生就是由图灵机诱发的。 丘奇—图灵论题：一切合理的计算模型都等同于图灵机. §3.1 图灵机 类型 文 法 结 构 产 生 式 形 式 限 制 条 件 0 短语结构文法 α→β α∈Ｖ+,β∈Ｖ* Phrase Structure 上下文有关文法 α1Aα2→α1βα2 |α1βα2|≥|α1Aα2| 1 Context Sensitive α1，α2∈Ｖ* （CSG ） A∈ＶＮ , β∈Ｖ+ 上下文无关文法 A→α A∈ＶＮ,α∈Ｖ* 2 Context Free （CFG） 正 右线性文法 A→xB，C→y A,B,C∈ＶＮ 3 规 文 左线性文法 A→Bx，C→y x,y∈ＶT* 法 10 0型语言 ———图灵机 1型语言(CSL)