teoría de la computabilidad: convertir un problema en otro