考虑以下语言。
L1 = { | M takes at least 2016 steps on some input},
L2 = { | M takes at least 2016 steps on all inputs} and
L3 = { | M accepts ε}, 对于每个图灵机M，
以下哪一项是TRUE?
(A) L1是递归的，而L2，L3不是递归的
(B) L2是递归的，而L1，L3不是递归的
(C) L1，L2是递归的，而L3不是递归的
(D) L1，L2，L3是递归的答案： (C)
说明： L1和L2都是递归的。
L1 = {
在L1中，一旦发现任何少于2016个步骤接受的字符串，我们就可以停止提供输入。在L2中
必须检查长度小于2016的所有可能的输入以及长度小于2016的所有可能的字符串
比2016年是一个有限的集合。对于L1和L2而言，机器肯定会停止运行。 L1和L2都是递归的。
L3是不确定的，M接受ε。因此，L3不是递归的。
选项(C)为正确。
这个问题的测验