计算理论他ppt课件可归约性.pdf

AT M 问题 图灵不可识别的语言 语言理论中的不可判定 问题 利用计算历史的归约 映射可归约性 2013 年 5 月 16 日 铤 杭州 电子科技大学计算机学院 AT M 问题 图灵不可识别的语言 语言理论中的不