唐常杰翻译的计算理论导引08.pptVIP

Lecture for Computation Theory Outline for today Intersection Complement Union Closure Properties Intersection Complement? Intersection Complement? What do we really know? 引出问题 What do we really know? 引出问题 Describing a Language Describing a Language Describing a Language 计算机科学历史上关于概念的争论 什么是计算 什么是操作系统 基本上解决 什么internet ? 什么是数据库 什么是数据仓库 还在争论 什么是数据网格 解决方法， 给出 大众能理解的 代表 下页 计算机科学历史上关于概念的争论 解决的办法， 给出一个 代表 什么是 3的倍数 { 3N |N=1,2,3} ,{x| x mod 3 =0} 代表元 ：0 什么是操作系统 代表元：Windows, Unix 什么internet 代表元 大众理解：Web ， IE 什么是计算? 代表元 图灵机 计算机科学历史上关于概念的争论 解决的办法， 给出一个 代表 什么是 3的倍数 { 3N |N=1,2,3} ,{x| x mod 3 =0} 代表元 ：0 什么是操作系统 代表元：Windows, Unix 什么internet 代表元 大众理解：Web ， IE 什么是计算? 代表元 图灵机 计算机科学历史上关于概念的争论 解决的办法， 给出一个 代表 什么是 3的倍数 { 3N |N=1,2,3} ,{x| x mod 3 =0} 代表元 ：0 什么是操作系统 代表元：Windows, Unix 什么internet 代表元 大众理解：Web ， IE 什么是计算? 多个模型， 代表元； 图灵机, 或 递归函数论 Chap 3 Turing Machines ep125 cp87 Chap 3 Turing Machines ep125 cp 87 Chap 3 Turing Machines ep125 cp87 Chap 3 Turing Machines ep125 cp87 Chap 3 Turing Machines  Informal Description TM ep 126 cp87 Informal Description TM ep 126 cp87 Informal Description TM ep 126 cp87 Input Convention ep126-128 Input Convention ep126-128 Input Convention ep126-128 Output Conventionep 126-129 Output Conventionep 126-129 Turing Machine (Def. c4.1) ep128 cp88 Turing Machine (Def. c4.1) ep128 cp88 Turing Machine (Def. c4.1) ep128 cp88 Configuration of a TM ep129 cp88 图稍有不同 Configuration of a TM ep129 cp88 图稍有不同 An Elementary TM Step ep129 cp89 An Elementary TM Step ep129 cp89 Terminology 格局 Terminology 格局 用格局概念描述 Accepting ep129 ,cp89 用格局概念描述 Accepting ep129 ,cp89 用格局概念描述 Accepting ep129 ,cp89 用格局概念描述 Accepting ep129 ,cp89 Turing Recognizable (Def. 3.2) ep130 cp89 Turing Recognizable (Def. 3.2) ep13