假设 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 上无限循环。这个问题的测验