考虑以下类型的语言：
L1 Regular,
L2: Context-free,
L3: Recursive,
L4: Recursively enumerable. 以下哪些是/是正确的?
I. L3' U L4 is recursively enumerable
II. L2 U L3 is recursive
III. L1* U L2 is context-free
IV. L1 U L2' is context-free (A)我只
(B)仅 I 和 III
(C)仅 I 和 IV
(D)仅 I、II 和 III答案： (D)
解释： St 1：由于 L3 是递归的并且递归语言在补码下是封闭的，L3′ 也将是递归的，因此是 RE。 L3′ U L4 也是递归可枚举的，因为递归可枚举语言在 union 下是封闭的。
St 2：由于 L2 是上下文无关的，它也将是递归的。 L2 U L3 是递归的，因为递归语言在 union 下是封闭的。
St 3: L1* 是正则的，因为正则语言在 kleene –closure 下是封闭的。 L1* U L2 是上下文无关的，因为常规和上下文无关的联合是上下文无关的。
St 4： L2′ 可能是也可能不是上下文无关的，因为 CFL 在互补下不是封闭的。所以这不是真的。
所以I，II和III是正确的。
这个问题的测验