以下哪个是/不可判定的?
(A)仅 3 个
(B)仅 3 和 4
(C)仅 1、2 和 3
(D)仅 2 和 3答案： (D)
解释：
- 首先是CFG的空性；无论 CFG 是否为空，这个问题都是可判定的。
- 其次是CFG的一切； CFG 是否会生成所有可能的字符串(CFG 的完整性)，这个问题是不可判定的。
- 三是REC的规律性； TM 生成的语言是否是正则是不可判定的。
- 四是等价于正则； DFA 和 NFA 生成的语言是否相同是可判定的。
第二和第三将是不可判定的。因此，选项(D)是正确的。
这个问题的测验