证明语言Turing-decidable

Question

您好，我应该证明： 让L_1, L_2, L_3成为图灵可识别的语言，L_1 U L_2 U L_3 = {a, b}* and (L_i [intersection] L_j = [empty-set])代表任何1<=i<j<=3。 显示L_1是图灵可判定的。 我不知道。

Answer 1

首先，这个问题不适合Stack溢出，因为这是一个数学问题。

第二个答案是，为了表明L_1是图灵可判定的，假设我们已经知道它是图灵可识别的，你需要证明{a，b} ^ *内的补语L_1 ^ c是图灵识别。但是这个补充恰好是L_2 U L_3，假设。两种图灵可识别语言的结合也是可识别的。