📜  门| GATE CS 2018 |问题 28

📅  最后修改于: 2021-09-25 07:23:59             🧑  作者: Mango

所有递归可枚举语言的集合是

(A)在互补下封闭。
(B)在交叉路口关闭。
(C)所有递归语言集合的一个子集。
(D)不可数集。答案:(乙)
说明:递归可枚举语言在并集、交集、串联和 Kleene 闭包(但不是补集)下封闭。
所以,我们可以很容易地排除选项(A),选项(B)是正确的。

递归语言是 REL 的子集,但选项 (C) 是相反的,所以选项 (C) 是 FALSE。
REL 是可数的,因为所有图灵机的集合都是可数的。所以选项 (D) 也是错误的。

只有选项(B) 是正确的。这个问题的测验