Recursión definicional

Recursión definicional es un uso de la recursión en el proceso básico de definición. Sucede a menudo que un conjunto de objetos se define plenamente con una sola expresión; por ejemplo los elementos de una sucesión, los miembros de un conjunto, las operaciones de un algoritmo o un programa que ejecutan con sus entradas. Sin embargo, algunas veces la definición de ciertos términos hace referencia a versiones anteriores o más simples de ello mismo. De ser así, se dice que la definición (o el algoritmo o programa) es recursiva.[1]

Definición recursiva

editar
Progresión aritmética
s1 = a
s2 = b
sn+1= 2sn - sn-1
Factorial

Considérese la siguiente definición recursiva de una función factorial.

1! = 1
n! = (n-1)!n para n > 1 , que va con el siguiente algoritmo

Algoritmo recursivo

editar
FUNCIÓN FAC(N)
1. IF (N=1) THEN)
a. A ¬ 1
2. ELSE
a. A ¬ N x FAC(N-1)
3. RETUR (A)
FIN DE FUNCIÓN FAC[2]

Referencias

editar
  • Números de Fibonnacci de N.N. Vorobiov
  • Relaciones de recurrencia en Matemáticas dicretas de Richard Johnsonbauch.
  1. "Estructuras de matemática discretas para la computación" , Kolman, Bernard y Busby, Robert C. ISBN 968-880-080-5 , pg.47
  2. Idem

Véase también

editar

Nexo externo

editar