insiemi ricorsivi per una formulazione alternativa. Supponiamo per ipotesi che g {\displaystyle g} sia ricorsiva. Allora lo sarebbe anche una funzione h {\displaystyle...

chiamata ricorsiva è l'ultima istruzione eseguita nella funzione. È possibile trasformare una funzione che utilizza questo tipo di algoritmo ricorsivo in una...

suriettiva Funzione biunivoca Endofunzione Permutazione Involuzione Funzione ricorsiva primitiva Funzione calcolabile Funzione ricorsiva (secondo la...

difficile progettare una funzione che sia ricorsiva totale ma non primitiva ricorsiva, anche se se ne conoscono alcune, come la funzione di Ackermann. Perciò...

all'insieme. Più formalmente si dice che un insieme è ricorsivo se la sua funzione caratteristica è ricorsiva. Un insieme S {\displaystyle S} , sottoinsieme...

{\displaystyle S} si dice r.e. se esiste un algoritmo (o equivalentemente una funzione ricorsiva totale) che: preso un certo input, se l'input appartiene a S , {\displaystyle...

funzione di Ackermann è un esempio di funzione ricorsiva che non è primitiva ricorsiva poiché cresce più velocemente di qualsiasi funzione ricorsiva primitiva...

nel caso delle funzioni ricorsive, come conseguenza dell'enumerazione, si indica con φ i {\displaystyle \varphi _{i}} la funzione ricorsiva a cui è stato...

di funzioni calcolabili da vari formalismi (Pascal, C, ...). L'indipendenza dai formalismi rende questa classe di funzioni come funzioni ricorsive parziali...

McCarthy come linguaggio formale per studiare la computabilità di funzioni ricorsive (nel senso di Skolem) su espressioni simboliche. È stato anche il...

la funzione di Sudan è una funzione ricorsiva totale non primitiva. La funzione era la prima che confutò la credenza che le funzioni ricorsive fossero...