"Sucesiones recursivas"

Una función recursiva es aquella que se define especificando una condición de término de la computación (caso base), y una regla para producir nuevos términos.

Una sucesión es una serie de términos algebraicos o aritméticos, producidos por la aplicación de una función.

Un ejemplo conocido es la serie de Fibbonaci, se define así:

Fib(0) = 0.Fib(n+1) = Fib(n) + Fib(n-1)

Esta función define la sucesión 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, etc.

Una función recursiva para definir los números naturales:Nat(0).Nat(n+1) IF Nat(n)

Se lee: 0 es un número natural.

Además, n+1 es un número natural, si n es un número natural.

Esta definición te reconoce el conjunto de los números 0, 1, 2, 3, ...

Otra función recursiva importante, te sirve para calcular el Factorial de un número:

Fact(0) = 1.Fact(n) = n * Fact(n-1).Se lee: el factorial de cero es 1

Si el número es mayor que cero, se calcula multiplicando n por el factorial de su antecesor inmediato.