1
Existe um problema completo para a classe de problemas decidíveis de Turing?
Linguagens como são sob muitas one-redução. É trivial ver que tem problemas completos. S. Schmitz [1] considera algumas classes entre e . Eles apresentam problemas completos para essas classes sob reduções especificamente criadas.HALTTMHALTTM\text{HALT}_{TM} co-RERE-completoRE-complete\textsf{RE-complete}testemunhoco-RE\text{co-RE}ELEMELEM\text{ELEM}GRAVANDOREC\text{REC} Existem problemas completos para (aka ) em relação a reduções mais fracas? Reduções de Turing são …