funzione ricorsiva generale

funzione ricorsiva generale

funzione ricorsiva generale o funzione ricorsiva totale, in logica, → funzione ricorsiva definita per ogni numero naturale (o ennupla di numeri naturali nel caso di funzioni a più variabili). Se ci sono numeri naturali per i quali la funzione non è definita, essa è detta funzione ricorsiva parziale. Funzioni ricorsive come l’addizione e la moltiplicazione sono ricorsive totali perché associano a ogni coppia di numeri naturali x e y un altro numero naturale, rispettivamente x + y o x ⋅ y. La sottrazione non è invece una funzione ricorsiva totale perché x − y è un numero naturale solo se x ≥ y.