1
Esiste un problema completo per la classe di Turing Decidable Problems?
Lingue come sono con riduzioni . È banale vedere che anche ha problemi completi. S. Schmitz [1] considera alcune classi tra e . Presentano problemi completi per queste classi con riduzioni appositamente realizzate.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Ci sono problemi completi per (aka ) relativi a riduzioni più deboli? Le riduzioni di Turing sono …