Church- Turing论题 已经证明这些模型都是等价的,即它们计算 的函数类(识别的语言类)是相同的 Church- Turing论题:直观可计算的函数类 就是图灵机以及任何与图灵机等价的计算模 型可计算(可定义)的函数类4 Church-Turing论题 已经证明这些模型都是等价的, 即它们计算 的函数类 (识别的语言类) 是相同的. Church-Turing论题: 直观可计算的函数类 就是图灵机以及任何与图灵机等价的计算模 型可计算 (可定义) 的函数类