Algoritmos y Programación en Pascal

10.5. Recursión mutua 223
en segundo lugar es predeclarado, escribiendo su encabezamiento seguido por
forward, y por lo tanto es reconocido en el subprograma definido en primer
lugar. Al definir el segundo subprograma no es necesario repetir sus parámetros.
El esquema de implementación en Pascal de dos procedimientos mutuamente
recursivos es el siguiente:
procedure Segundo(parámetros); forward;
procedure Primero(parámetros);
...
begin {Primero}
...
Segundo (...)
...
end; {Primero}
procedure Segundo(parámetros);
...
begin {Segundo}
...
Primero (...)
...
end; {Segundo}
A continuación se muestra un ejemplo en el que se aplica el concepto de
recursión mutua. Se trata de un programa que comprueba el correcto equilibrado
de paréntesis y corchetes en expresiones introducidas por el usuario. 6 Así, si se
da como entrada la expresión [3 ∗ (2 + 1) − 5] + 7, el programa debe dar un
mensaje que indique que los paréntesis y los corchetes están equilibrados, y, en
cambio, si la entrada proporcionada por el usuario es la expresión (a+[b∗5)−c],
debe dar al menos un mensaje de error en el equilibrado.
Con este objetivo, un primer paso en el diseño del programa Equilibrado
puede ser:
repetir
Leer carácter c
en caso de que c sea
‘(‘: Cerrar paréntesis
‘)‘: Tratar paréntesis de cierre
‘[‘: Cerrar corchete
‘]‘: Tratar corchete de cierre
hasta fin de la entrada
6 Se considera que la expresión viene dada en una sola línea del input, para simplificar la
codificación.