Pagina 1 di 1

Discussione esercizio 1 compito 4/11/2016

Inviato: 15/08/2019, 12:26
da frabert
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?

Re: Discussione esercizio 1 compito 4/11/2016

Inviato: 29/08/2019, 19:43
da michelezoncheddu
Il ragionamento mi sembra corretto, ma non saprei come formalizzare il fatto che diventi un i.i.r.f.

Re: Discussione esercizio 1 compito 4/11/2016

Inviato: 09/01/2020, 10:58
da andrea.tosti
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).