设A和B为无限字母，＃为A和B之外的符号。设f为从A *到B *的总函数。如果存在一个给定输入x in的车床M，则说f是可计算的。
A *始终在其磁带上停止并带有f(x)。令L f表示语言{x＃f(x)| x＆in; A * }。下列哪项为真?
(A) f是可计算的，当且仅当L f是递归的。
(B) f是可计算的，当且仅当L f是可递归枚举的。
(C)如果f是可计算的，则L f是递归的，但不是相反的。
(D)如果f是可计算的，则L f可递归枚举，但反之则不行。答案： (A)
说明：该定义被称为“图灵机停止”。每种递归语言都是可计算的，但相反可能并非如此。这个问题的测验