b'\n_START_ARTICLE_\nFunzione ricorsiva\n_START_PARAGRAPH_\nNella logica matematica e nell\'informatica, le funzioni ricorsive sono una classe di funzioni dai numeri naturali ai numeri naturali che sono "calcolabili" in un qualche senso intuitivo. Infatti nella teoria della calcolabilit\xc3\xa0 si mostra che le funzioni ricorsive corrispondono precisamente a quelle funzioni che possono essere calcolate tramite una macchina di Turing. _NEWLINE_Le funzioni ricorsive sono un sovrainsieme delle funzioni ricorsive primitive, ed infatti la loro definizione induttiva (come vedremo nel seguito) \xc3\xa8 costruita a partire da quella di queste ultime. Esistono quindi funzioni ricorsive che non sono anche ricorsive primitive, e l\'esempio pi\xc3\xb9 noto \xc3\xa8 quello della funzione di Ackermann._NEWLINE_Altre classi di funzioni equivalenti a quella delle funzioni ricorsive sono le funzioni \xce\xbb-ricorsive e le funzioni che possono essere calcolate da un algoritmo di Markov.\n_START_SECTION_\nLimitazioni: funzioni non ricorsive\n_START_PARAGRAPH_\nNon tutte le funzioni sono calcolabili, cio\xc3\xa8 ricorsive. Ecco alcuni esempi.'