L1是一种基于Σ的递归可枚举语言。算法A有效地枚举其单词为w1，w2，w3，…在∑ Union {＃}上将另一种语言L2定义为{wi＃wj：wi，wj＆in; L1，i 下列哪项为真 ?
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)不一定都是正确的答案： (A)
解释：
这个问题的测验