🌈 搜索
📅 最后修改于: 2021-06-28 23:35:12 🧑 作者: Mango
假设M1和M2是两个TM，使得L(M1)= L(M2)。然后
(A)在M1不会停止的每个输入上，M2也不会停止。
(B)在M1停止的每个i / p上，M2也停止。
(C)在M1接受的每个i / p上，M2都停止。
(D)以上都不是。
答案： (C)解释：
M2接受L(M1)中的字符串，因此肯定会停止。其他2不能得到保证，因为图灵机M通过暂停到拒绝状态拒绝w或在w上无限循环而拒绝w。这个问题的测验