计算模型图灵机课件.pptVIP

第5周、第6周内容介绍《理论计算机科学基础》1 第2部分 可计算性理论第5周 图灵机? 第4章 丘奇-图灵论题? 第7章 可计算性理论的高级专题(递归定理)第6周 (不)可计算问题? 第5章 可判定性? 第6章 可归约性2《理论计算机科学基础》 第4章 丘奇-图灵论题?图灵机(TM)? 多带图灵机? 非确定型图灵机(NTM)? 枚举器? 图灵可识别, 图灵可判定?丘奇-图灵论题? 算法、希尔伯特第10问题?图灵机的描述? 形式描述; 实现描述; 高层描述? 编码: O《理论计算机科学基础》3 第7章 可计算性高级专题?递归定理?自引用?应用递归定理的术语?可以在M的定义中使用M?应用?图灵机接