co-p는 재귀 적으로 열거 가능합니까?

Question

p는 다시 있지만 다항식 시간에 알지 못한 언어의 클래스의 보완도 재귀 적으로 열거 할 수 있습니까?

둘 다 다시 있으면 이는 P 재귀를 만듭니다.

Answer 1

$ \ mathsf {p}=mathsf {p} $ .이를 보려면 $ a $ co- $ \ mathsf {p} $ 을 선택하십시오. $ T $ $ a $ ( $ \ mathsf {p} $ ) $ t '$ 을 구성하십시오.컨테이너 "> $ T $ 은 $ T $ $ T $ 수락.