Lecture Notes for Computation.ppt

Lecture Notes for Computation 上次已经讲完定理 4.1—4.8 本周稍作复习， 可从停机问题开始。 今天课程 Deciding Languages 准备引入通用图灵机 cp107 Deciding Languages 准备引入通用图灵机 cp107 Deciding Languages 准备引入停机问题 cp107 Deciding Languages 准备引入通用图灵机 cp107 The Universal TM U 仿真的直观感觉 The Universal TM U 仿真的直观感觉 The Universal TM U：ATM是图灵可识别的, cp104 The Universal TM U：ATM是图灵可识别的, cp107 The Universal TM U：ATM是图灵可识别的, cp107 4.2 The Halting Problem ATM cp108 4.2 The Halting Problem ATM cp108 4.2 The Halting Problem ATM How Many Languages? 康托 cp109 How Many Languages? 康托 cp109 How Many Languages? 康托 cp109 Mapp