可计算函数和邱奇-图灵论题
快捷方式: 差异,相似,杰卡德相似系数,参考。
可计算函数和邱奇-图灵论题之间的区别
可计算函数 vs. 邱奇-图灵论题
在可计算性理论中,可计算函数(computable function)或图灵可计算函数是研究的基本对象。它们使我们直觉上的算法概念更加精确。使用可计算函数来讨论可计算性而不提及任何具体的计算模型,如图灵机或寄存器机。但是它们的定义必须提及某种特殊的计算模型。 在可计算函数的精确定义之前,数学家经常使用非正式术语可有效计算的。这个术语因此可以被认同为可计算函数。尽管这些函数被叫做有效的,它们可能极其困难。可行可计算性和计算复杂性研究可有效计算的函数。 依据邱奇-图灵论题,可计算函数精确的是使用给出无限数量的时间和存储空间的机器计算设备来计算的函数。等价的说,这个论题声称有算法的任何函数都是可计算的。 可以使用Blum公理来在可计算函数的集合上定义抽象计算复杂性理论。在计算复杂性理论中,确定一个可计算函数的复杂性的问题叫做功能性问题。. #重定向 邱奇-图灵论题.
之间可计算函数和邱奇-图灵论题相似
可计算函数和邱奇-图灵论题有(在联盟百科)0共同点。
上面的列表回答下列问题
- 什么可计算函数和邱奇-图灵论题的共同点。
- 什么是可计算函数和邱奇-图灵论题之间的相似性
可计算函数和邱奇-图灵论题之间的比较
可计算函数有25个关系,而邱奇-图灵论题有1个。由于它们的共同之处0,杰卡德指数为0.00% = 0 / (25 + 1)。
参考
本文介绍可计算函数和邱奇-图灵论题之间的关系。要访问该信息提取每篇文章,请访问: