Problemas cuyo estado de capacidad de decisión es desconocido pero se sabe que es menos difícil que el problema de detención

¿Hay problemas cuya capacidad de decisión es desconocida pero se sabe con certeza que los problemas son menos difíciles que el problema de detención?

Suponiendo que por "menos difícil" quiere decir "reducible a", entonces cualquier problema que se sepa que está en $RE$ pero no se sabe que está en $R$ Satisface esta condición.

Por ejemplo, tome el problema PCP con 4 mosaicos, cuya capacidad de decisión está abierta. Es un ejercicio fácil reducir el problema (o cualquier otro problema en RE) a HALT.