Numero di Fibonacci Funzione 91 di McCarthy Funzione di Sudan In informatica, ecco un esempio di funzione ricorsiva: function factorial(n) if n == 0 then return...

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

primitiva Funzione calcolabile Funzione ricorsiva (secondo la Tesi di Church-Turing, funzioni ricorsive e funzioni calcolabili sono la stessa cosa) Funzione ricorsiva...

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

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

{\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...

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

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

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

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

una funzione parziale: f : A n → A m {\displaystyle f:A^{n}\rightarrow A^{m}} ... Lo stesso argomento in dettaglio: Funzione ricorsiva. Le funzioni parziali...