单击此处编辑母版文本样式第二级第三级第四级第五级76CS_Dept.Sichuan Univ.单击此处编辑母版标题样式可计算理论Lecture Notes forputationBook :《计算理论导引》 Introduction to the Theory ofputation Chap5 Reductions(可归约性) Professor :