计算理论_可计算理论CH2_2016.pptVIP

教材: [1][王] 王晓东,计算机算法设计与分析(第4版),电子工业. [2][S] 唐常杰等译, Sipser著, 计算理论导引, 机械工业. 参考资料: [3][C] 潘金贵等译, Cormen等著, 算法导论, 机械工业. [4][M] 黄林鹏等译, Manber著, 算法引论-一种创造性方法, 电子. [5][刘] 刘汝佳等, 算法艺术与信息学竞赛, 清华大学. [6][L] Lewis等著, 计算理论基础, 清华大学. 计算理论与算法分析设计 刘 庆 晖 计算理论 第二部分 可计算理论 第4章 可判定性 Church-Turing 论题 1930’s人们开始考虑算法的精确定义 1933, Kurt Gödel, 递归函数 1936, Alonzo Church, -calculus 1936, Alan Turing, 判定图灵机(判定器) Church 和 Turing 证明这三种定义等价 计算机能力的极限 即使未来几年量子计算机制造成功, 人们能解决的问题类并不会变大 停机问题Halt是图灵可识别的 Halt={ M,x | 图灵机M在串x上会停机 } 定理: Halt是图灵可识别的 证明: 构造识别Halt的图灵机T, T = “ 对于输入M,x, M是图灵机, x是串