この決定的なセット$ C $が存在することを示します

Question

私はこの問題に出てきましたが、与えられた互いにが $ a $ と $ b $ st $ \ bar {a} $ および $ \ bar {b} $ は両方とも計算可能に列挙（CE）です。 $ c $ stを指定します。 $ a \ subeteq c $ と $ c \ cap b=ahtyset $ 。

$ c $ を作成する1つの方法は、 $ \ bar {a} - \ bar {$ はceですが、この特定のケースCEのセットの差分 $ \ bar {a} $ です。

Answer 1

いいえ、必ずしも再帰的に列挙可能ではありません。再帰的に列挙できるが再帰的ではない言語があります。したがって、それらの補数は再帰的に列挙可能ではありません。それから、あなたはあなたの投稿の最後の文での質問に対する答えがそうであることを証明することができるはずです（私はあなたにそこから詳細を記入してください）。