donc là on conclut que décider si L = L^R est équivalent à décider non(LU) (avec LU qui est le langage universel)
ma question est :
pourquoi faire une réduction à partir de non(LU), alors qu'on peut faire la réduction à partir de LU aussi, non ?
Pour une instance <M, w>, on construit M' exactement comme dans l'image plus haut
Et on a exactement la même réduction
sauf qu'on vérifie L(M) = L(M')^R quand <M, w> n'appartient pas à LU
ce qui est aussi indécidable, donc on aboutit bien à la même conclusion non?
Pourquoi avoir choisi la réduction sur non(LU) au lieu de LU du coup ?
