L1 是 Σ 上的递归可枚举语言。算法 A 有效地将其单词枚举为 w1, w2, w3, … 将 Σ Union {#} 上的另一种语言 L2 定义为 {wi # wj : wi, wj ∈ L1, i < j}。这里# 是一个新符号。考虑以下断言。
S1 : L1 is recursive implies L2 is recursive
S2 : L2 is recursive implies L1 is recursive 下面哪个描述是正确的 ?
(A) S1 和 S2 都为真
(B) S1 为真但 S2 不一定为真
(C) S2 为真但 S1 不一定为真
(D)两者都不一定正确答案：(一)
解释：
这个问题的测验