È co-P ricorsivamente enumerabile?

Question

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?

Answer 1

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.