• 其他词汇： 可计算性理论 计算可能性理论 部分可计算函数 部分可计算的函数

• 更多词汇： 可计算的 可计算函数 可计算的 可算模型