1
¿Existe un problema completo para la clase de problemas decidibles de Turing?
Idiomas como HALTTMHALTTM\text{HALT}_{TM} son RE-completeRE-complete\textsf{RE-complete} bajo muchas reducciones. Es trivial ver que co-REco-RE\text{co-RE} tiene problemas completos. S. Schmitz [1] considera algunas clases entre ELEMELEM\text{ELEM} y RECREC\text{REC} . Presentan problemas completos para estas clases bajo reducciones específicamente diseñadas. ¿Existen problemas completos para R=RE∩co-RER=RE∩co-RE\textsf{R} = \textsf{RE} \cap \textsf{co-RE} (también conocido como RECREC\textsf{REC} …