È co-P ricorsivamente enumerabile?
-
29-09-2020 - |
Domanda
P è RE, ma è il complemento della classe delle lingue decidabile in tempo polinomiale anche enumevole in modo ricorsivo?
Se entrambi sono re allora questo rende P ricorsivo?
Soluzione
CLASSE CO- $ \ mathsf {p}=mathsf {p} $ .Per vedere questo, scegli il tuo problema preferito $ a $ in co- $ \ mathsf {p} $ ,Let $ T $ Sii una macchina di Turing per il complemento di $ a $ (in $ \ mathsf {p} $ ) e costruire una nuova macchina di turing $ T '$ che simula $ T $ , accetta se $ t $ rifiuta e rifiuta se $ T $ accetta.
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a cs.stackexchange