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

考虑以下问题：

• (i) 有限自动机是否在所有输入上都停止？
• (ii) 给定的上下文无关语言是否是正则的？
• (iii) 图灵机是否计算两个数字的乘积？

以下哪一项是正确的？
(A)只有 (ii) 和 (iii) 是不可判定的问题
(B) (i), (ii) 和 (iii) 是不可判定的问题
(C)只有 (i) 和 (ii) 是不可判定的问题
(D)只有 (i) 和 (iii) 是不可判定的问题答案：（一）
解释：如果 P 的所有“是”实例的语言 L 是可判定的，则称一个判定问题 P 是可判定的（即，有一个算法）。

有限有限自动机的隶属问题是可判定的。

只有 (ii) 和 (iii) 是不可判定的问题。

选项（A）是正确的。

这个问题的测验