ricorsivo

ricorsivo

agg. [der. di ricorrere]. – In matematica e in logica matematica, sinon. di ricorrente (nel sign. 3 c); in partic., nella teoria della ricorsività, funzioni r. primitive, quelle che si possono ottenere dalle funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione e di induzione. Con altro sign., in matematica e in informatica, procedura r., algoritmo r., quelli che sono formulati con un esplicito riferimento a sé stessi; per es., nel calcolo del fattoriale di un numero intero positivo n (definito come il prodotto di tutti i numeri interi da 1 a n), è ricorsiva una procedura dal nome simbolico di fattoriale, definita come segue: fattoriale (1) = 1, fattoriale (n) = n × fattoriale (n – 1).