Algoritmos y Programación en Pascal

214 Capítulo 10. Introducción a la recursión
Fac(4)
. . . else
Fac:=4*Fac(3)
Fac
24
Fac(3)
. . . else
Fac:=3*Fac(2)
Fac
6
Fac(2)
. . . else
Fac:=2*Fac(1)
Fac
2
Fac(1)
. . . else
Fac:=1*Fac(0)
Fac
1
Figura 10.1. Esquema de llamadas de Fac.
Fac(0)
. . . then
Fac:= 1
para que el proceso concluya al alcanzarse éstos. De lo contrario, se produce la
llamada “recursión infinita”. Por ejemplo, si se aplicase la definición de factorial
a un número negativo,
−3 → −4 → −5 → . . .
los cálculos sucesivos nos alejan cada vez más del valor cero, por lo que nunca
dejan de generarse llamadas.
El proceso de ejecución de un subprograma recursivo consiste en una cadena
de generación de llamadas (suspendiéndose los restantes cálculos) y reanudación
de los mismos al término de la ejecución de las llamadas, tal como se recoge en
la figura 10.1. Para comprender mejor el funcionamiento de un subprograma
recursivo, recordemos el proceso de llamada a un subprograma cualquiera:
• Se reserva el espacio en memoria necesario para almacenar los parámetros
y los demás objetos locales del subprograma.
• Se reciben los parámetros y se cede la ejecución de instrucciones al subprograma,
que comienza a ejecutarse.
• Al terminar éste, se libera el espacio reservado, los identificadores locales
dejan de tener vigencia y pasa a ejecutarse la instrucción siguiente a la de
llamada.
Fac
1