让 A 和 B 是无限字母表，让 # 是 A 和 B 之外的一个符号。让 f 是从 A *到 B *的全函数。如果存在给定输入 x 的车床 M，我们说 f 是可计算的
A * ，总是在其磁带上以 f(x) 停止。令 L f表示语言 {x#f(x)|x∈A * }。下面哪个描述是正确的?
(A) f 如果可计算当且仅当 L f是递归的。
(B) f 如果可计算当且仅当 L f是递归可枚举的。
(C)如果 f 是可计算的，那么 L f是递归的，但反之则不然。
(D)如果 f 是可计算的，那么 L f是递归可枚举的，但反之则不然。答案：(一)
解释：这个定义被给出为图灵机的停机。每一种递归语言都是可计算的，但反过来可能不是真的。这个问题的测验