СО-P рекурсивно перечислена?
-
29-09-2020 - |
Вопрос
p Re, но дополнение класса языков, удаленных в многочленом времени, также рекурсивно перечислено?
Если оба RE, то это делает p рекурсивно?
Решение
co- $ \ mathsf {p}=mathsf {p} $ .Чтобы увидеть это, выберите свою любимую проблему $ a $ в соответствии с сотрудничеством class="Math-Containter"> $ \ mathsf {p} $ ,Пусть $ t $ - это машина для дополнения $ a $ (в $ \ mathsf {p} $ ) и построить новый автомат Turging $ t '$ , который имитирует
Не связан с cs.stackexchange