请考虑以下类型的语言：
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也是递归可枚举的，因为递归可枚举语言是在联合之下关闭的。
St 2：由于L2是上下文无关的，因此它也是递归的。 L2 U L3是递归的，因为递归语言在并集下是封闭的。
St 3： L1 *是常规的，因为在kleene -closures下常规语言是封闭的。 L1 * U L2是无上下文的，因为常规和无上下文的并集是无上下文的。
St 4： L2’可能会也可能不会是上下文无关的，因为CFL不会在互补下封闭。因此，这是不正确的。
因此，I，II和III是正确的。
这个问题的测验