严格说来,讲可计算函数时应说明是关于哪种计算模型的可计算函数,如图灵可计算函数(参见图灵机)、URM可计算函数(参见UR机)、波斯特系统可计算函数、马尔科夫算法可计算函数,等等。由于已知的这些计算模型都彼此等价,故可以笼统地称为可计算函数。可计算函数也就是部分递归函数。