06B_05d1_reduction-100114专用课件.pptVIP

Lecture Notes for Computation Outline for today 复习 Last lesson 关于规约的故事( 1/3) 改写路沙. 彼得(Rozes Peter)的 故事 Task 1 (煤气灶, 水龙头，空水壶 火柴 ) 输入： 煤气灶 水龙头，火柴 ,空水壶 输出： 开水 Step : 1 空水壶 加水 2 火柴 对煤气灶 点火 3 水壶 Over 煤气灶 关于规约的故事 ( 2/3) Task 2 (煤气灶 水龙头，已经有水的水壶, 火柴) 输入： 煤气灶 ，水龙头，火柴 已经有水的水壶 输出： 开水 Step : 2火柴 对煤气灶 点火 3水壶 Over 煤气灶 关于规约的故事 ( 2/3) Task 2 (煤气灶 水龙头，已经有水的水壶, 火柴) 输入： 煤气灶 ，水龙头，火柴 已经有水的水壶 输出： 开水 Step : 2火柴 对煤气灶 点火 3水壶 Over 煤气灶 关于规约的故事( 3/3) Task3 (煤气灶， 水龙头，已经有水的水壶, 火柴) 输入：煤气灶， 水龙头，火柴,已经有水的水壶 输出： 开水 Step : 1 把水壶中的水到掉 ; 把问题规约为空水壶问题 2 call Task1 (煤气灶, 水龙头，空水壶 火柴 ) 这才是 问题的 规约 方案！ Standard Reflex 标准反射 Standard Reflex 标准反射 Chapter 5: Reducibility 可归约性一种 化难为易 化繁为简 的方法 , ep173，cp118 补充 Chapter 5: Reducibility 可归约性一种 化难为易 化繁为简 的方法 , ep173，cp118 Halting Problem Revisited ep.172 Halting Problem Revisited ep.172 Halting Problem Revisited ep.172 Halting Problem Revisited ep.172 Halting Problem Revisited ep.172 cp118停机问题不可判定 ，我们的证明，比书上直观一些 Halting Problem Revisited ep.172 cp118停机问题不可判定 ，我们的证明，比书上直观一些 Halting Problem Revisited ep.172 cp118停机问题不可判定 ，我们的证明，比书上直观一些 Halting Problem Revisited ep.172 cp118书上的证明，严格一些 略，自学 Halting Problem Revisited ep.172 cp118书上的证明，严格一些 略，自学 Emptiness Testing (1) ep173 CP 119 Emptiness Testing (1) ep173 CP 119 Emptiness Testing (1) ep173 CP 119 Emptiness Testing (1) ep173 CP 119 Emptiness Testing (1) ep173 CP 119 Emptiness Testing (1) ep173 CP 119 ，比书上易理解 Emptiness Testing (1) ep173 CP 119 ，比书上易理解 Emptiness Testing (2) Emptiness Testing (2) Emptiness Testing (3) 完整的证明，不如C写的简洁 Emptiness Testing (3) 完整的证明，不如C写的简洁 Rice’s Theorem (习题 5.28 ， 第二版新增 答案 稍有不同) Rice’s Theorem (习题 ５.2８) Rice’s Theorem (习题 5.2８) Rice’s Theorem (习题5.28, 第二版书有解答) Rice’s Theorem (Problem 5.28) Rice’s Theorem (Problem 5.28) Rice’s Theorem (Problem 5.28) Rice’s Theorem (Problem 5.28) Rice’s Theorem (Problem 5.28) Proof Idea Rice’s Theorem 证明的思路 ep175, cp114 可自学 Proving Rice cont. 可自学 Final Proof Rice’s Theor