在计算机科学中，可计算性理论（Computability theory）作为计算理论的一个分支，研究在不同的计算模型下哪些算法问题能够被解决。相对应的，计算理论的另一块主要内容，计算复杂性理论考虑一个问题怎样才能被有效的解 … 展开

• 波斯特定理
• 克莱尼–波斯特定理
• 弗里德堡–穆奇尼克定理
• 波斯纳–罗宾逊定理
• 跳躍逆轉定理 展开

图灵机和邱奇－图灵论题 展开

我们考虑关于图灵机的可计算性理论。本节中，固定字符集是{0, 1}，$${\displaystyle {0,1}^{*}}$$是所有有限长度字符串的集合。一个语言即是$${\displaystyle {0,1}^{*}}$$的 … 展开

• 可计算性理论 展开