The forum of the Computer Science students of the University of Pisa

Discussione esercizio 1 compito 4/11/2016

Testo dell'esercizio:
Si determini una funzione [math] calcolabile totale tale che [math] sia ricorsivo
L'unica funzione che mi viene in mente che possa soddisfare la condizione è l'identità, che renderebbe [math]. Mi verrebbe da dire che qualsiasi altra funzioni renderebbe [math] un i.i.r.f. quindi non ricorsivo. Il mio ragionamento è corretto?
Il ragionamento mi sembra corretto, ma non saprei come formalizzare il fatto che diventi un i.i.r.f.
frabert ha scritto:
15/08/2019, 12:26
Testo dell'esercizio:
Si determini una funzione [math] calcolabile totale tale che [math] sia ricorsivo
L'unica funzione che mi viene in mente che possa soddisfare la condizione è l'identità, che renderebbe [math]. Mi verrebbe da dire che qualsiasi altra funzioni renderebbe [math] un i.i.r.f. quindi non ricorsivo. Il mio ragionamento è corretto?
Io invece credo che prendendo una qualsiasi altra funzione, ad esempio [math], questa non appartenga a [math] e quindi [math] non è un [math] (se prendo l'indice [math] e l'indice [math], l'indice [math] è in [math], l'indice [math] non è in [math], e magari entrambi gli indici calcolano la stessa funzione).