СО-P рекурсивно перечислена?

Question

p Re, но дополнение класса языков, удаленных в многочленом времени, также рекурсивно перечислено?

Если оба RE, то это делает p рекурсивно?

Answer 1

co- $ \ mathsf {p}=mathsf {p} $ .Чтобы увидеть это, выберите свою любимую проблему $ a $ в соответствии с сотрудничеством class="Math-Containter"> $ \ mathsf {p} $ ,Пусть $ t $ - это машина для дополнения $ a $ (в $ \ mathsf {p} $ ) и построить новый автомат Turging $ t '$ , который имитирует $ t $ , принимает, если $ T $ regjects и отклоняет, если $ T $ Принимает.