Équivalence de la représentation et décision de réductibilité