Salve a tutti, qualcuno può darmi una mano a risolvere questo esercizio?
La mia idea è quella di ridurre Ksegnato a FIN e quindi dimostrare che FIN è non-RE.
Ho definito quindi psi(x,y) = phi_f(x) (y) = ....... ?
Non so proprio da dove partire per definire questa funzione e in generale per definire funzioni che permettano di dimostrare altre riduzioni da Ksegnato a un insieme.. Help
Immagine