可计算性理论（Computability theory）作为计算理论的一个分支，研究在不同的计算模型下哪些算法问题能够被解决。相对应的，计算理论的另一块主要内容，计算复杂性理论考虑一个问题怎样才能被"有效的"解决。
计算模型.图灵机和邱奇－图灵论题
图灵机的可计算性理论.我们考虑关于图灵机的可计算性理论。本节中，固定字符集是{0, 1}，formula_1是所有有限长度字符串的集合。一个语言即是formula_1的一个子集。一个语言L是可以被图灵机所枚