一列数）。记号formula_2指示偏函数formula_3被定义在参数formula_4上，而记号formula_5指示formula_1被定义在参数formula_4上而返回的值是formula_8。这些函数也叫做偏递归函数。在可计算理论中，函数的定义域是函数被定义在其上的所有输入的集合。定义在所有参数上的函数叫做全函数。如果可计算函数是全函数，它叫做全可计算函数或全递归函数。有很多等价方式定义可计算函数的类。为了具体，本文余下部分将假定可计算函数已经被定义可以被图灵机计算的那些偏函数。有很多计