02_第二章图灵机.ppt

Lecture for Computation Complexity 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 2 Turing Machines ep125 cp87 Chap 2 Turing Machines ep125 cp 87 Chap 2 Turing Machines Informal Description TM ep 126 cp87 Informal Description TM ep 126 cp87 Informal Description TM ep 126 cp87 Input Convention ep 126-129 Cp88 Input Convention ep 126-129 Cp88 Input Convention ep 126-129 Cp88 Output Convention ep 126-129 Cp88 Turing Machine (Def. c4.1) ep 126-129 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) ep130 cp89 Turing Recognizable (Def. 3.2) ep130 cp89 Turing Decidable (Def. 3.3)图灵可判定 ep130， cp84 Turing Decidable (Def. 3.3)