教资会网络 | UGC NET CS 2018 年 7 月 – II |问题 40

考虑以下语句（）：
S ₁ ：不存在用于确定任何两个图灵机 M 1 和 M 2 是否接受相同语言的算法。
S ₂ ：确定图灵机是否在任何输入上停止的问题是不可判定的。
以下哪个选项是正确的？
(A) S ₁和 S ₂都是正确的
(B) S ₁和 S ₂都不正确
(C)只有 S ₁是正确的
(D)只有 S ₂是正确的答案：（一）
解释：

不存在用于确定任何两个图灵机 M 1 和 M 2 是否接受相同语言的算法。真的

确定图灵机是否在任何输入上停止的问题是不可判定的。真的

两种说法都是正确的。
所以，选项（A）是正确的。
这个问题的测验