计算理论06_判定CFL.ppt

Part II: Computability Theory Outline Deciding Languages 准备引入通用图灵机 cp104 Deciding Languages 准备引入停机问题 cp104 Deciding Languages 准备引入通用图灵机 cp104 The Universal TM U 仿真的直观感觉 The Universal TM U 仿真的直观感觉 The Universal TM U：ATM是图灵可识别的, cp104 The Universal TM U：ATM是图灵可识别的, cp104 The Universal TM U：ATM是图灵可识别的, cp104 The Halting Problem ATM The Halting Problem ATM The Halting Problem ATM How Many Languages? 康托 cp105 How Many Languages? 康托 cp105 How Many Languages? 康托 cp105 Mappings and Functions 用映射比较集合大小 cp105 Mappings and Functions 用映射比较集合大小 cp105 Mappings and Functions 用映射比较集合大小 cp105 Cardinality 基数 有限集合元素个数的推广（推到无限集合） cp105 Cardinality 基数 有限集合元素个数的推广（推到无线集合） cp105 Countable Infinite Sets 可数无穷集 cp105 Countable Infinite Sets 可数无穷集 cp105 Countable Infinite Sets 可数无穷集 cp105 Countable Infinite Sets 可数无穷集 cp106 Some Countable Infinite Sets A Big Countable Set N* Bijection between N and N* 复习 Uncountable Sets 可数集 造 不可数集合，cp106 Uncountable Sets 可数集 造 不可数集合，cp106 Uncountability of P (N) Uncountability of P (N) Uncountability of P (N) Diagonalization 对角线方法 比cp107更一般 Diagonalization 对角线方法 比cp107更一般 No Surjection N ? {0,1}N ,无满射 把上页的形式化（稍微难懂一点） No Surjection N ? {0,1}N ,无满射把上页的形式化（稍微难懂一点） Uncountability 不可数 Uncountability 不可数 Counting TMs 有多少图灵机“摸一摸， 有多少石头诞生在西藏？” —尔甲：天上拉萨 Counting TMs 有多少图灵机“摸一摸， 有多少石头诞生在西藏？” —尔甲：天上拉萨 Counting Languages 数一数语言 ep164,cp107 “念一念， 有多少真言 弥漫在风中” Counting TMs and Languages ep164 Counting TMs and Languages ep164 Is This Really Interesting? ep164 Is This Really Interesting? ep164 Is This Really Interesting? ep164 Outline ep 159 停机问题ATM 不可判定 （A - Accept, 应称为接受问题） 上次提出，但未证明，现在条件成熟。补证 ， cp107 停机问题ATM 不可判定 （A - Accept, 应称为接受问题） 上次提出，但未证明，现在条件成熟。补证 ， cp107 停机问题ATM 不可判定 （A - Accept, 应称为接受问题） 上次提出，但未证明，现在条件成熟。补证 ， cp107 停机问题ATM 不可判定 上次提出，但未证明，现在条件成熟。补证 ， cp107 停机问题ATM 不可判定 上次提出，但未证明，现在条件成熟。补证 ， cp107 停机问题ATM 不可判定 上次提出，但未证明，现在条件成熟。补证 ， cp107 停机问题ATM 不可判定 上次提出，但未证明，现在条件成熟。补证 ， cp107 停机问题ATM 不可判定 上次提出，但未证明，现在