可计算函数

如果一个函数是可计算函数(computable function)，那么存在一个图灵机 $M$ 使得每一个定义域内的输入 $w$ 都能够停机，并且停机后纸带上只剩下 $f(w)$；