Equivalencia de Representación y Decisión de Reducibilidad