考虑以下语言。
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，
以下哪一项是正确的?
(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)是正确的。
这个问题的测验