이 디지털 설정 설정 $ C $가 존재한다는 것을 보여줍니다

Question

Disjoint Sets $ A $ 및 $ B $ ST를 주어주는이 문제가 발생했습니다. $ \ bar {a} $ 및 $ \ bar {b} $ 은 모두 계산 가능 열거 가능 (CE), 디지털 가능한 세트 $ C $ st. $ a \ subetq c $ 및 $ c \ cap b=emptyset $ .

$ c $ 을 생성하는 한 가지 방법은 $ \ bar {a} - \ bar {b} $ 은 CE이지만 설정된 차이 $ \ bar {a} - \ bar {b} $ 이 특정 사례 CE?

Answer 1

아니오, 반드시 재귀 적으로 열거 가능하지는 않습니다.재귀 적으로 열거 할 수 있지만 재귀 적이 아닌 언어가 있습니다.따라서, 그들의 보체는 재귀 적으로 열거 가능하지 않다.그부터, 귀하는 귀하의 게시물의 마지막 문장의 질문에 대한 답변이 아니오 (거기에서 세부 사항을 기입하겠습니다)가 아니라는 것을 증명할 수 있어야합니다.