Algoritmos y Programación en Pascal

478 Apéndice A. Aspectos complementarios
8
6
4
2
y = g(x)
-2 -1
-2
1 2 3
-4
y = f(x)
Figura A.1.
8
6
4
2
y = max[f,g](x) «
-2 -1 1 2 3
O sea, la función MaxFuncs responde al siguiente esquema:
MaxFuncs : ( IR → IR) × ( IR → IR) × IR → IR
MaxFuncs ( f , g , x ) = . . .
La novedad consiste en que, si se quiere implementar un programa que resuelva
el problema, dos de los parámetros serían subprogramas (concretamente, funciones).
Esto está permitido en Pascal y para ello se incluye en la lista de parámetros
formales el encabezamiento completo del subprograma parámetro,
function MaxFuncs (function F (x: real): real;
function G (x: real): real; x: real): real;
{Dev. el máximo de F(x) y G(x)}
begin
if F(x) > G(x) then
MaxFuncs:= F(x)
else
MaxFuncs:= G(x)
end; {MaxFuncs}
y en la llamada, como parámetro real, se coloca el identificador del subprograma
que actúa como argumento:
y:= MaxFuncs (Sin, Cos, Pi/4)
En la ejecución de la llamada, al igual que ocurre con cualquier tipo de
parámetros, el subprograma ficticio se sustituye por el subprograma argumento,
concretándose así su acción o resultado (dependiendo de si es un procedimiento
o una función, respectivamente).
Cuando el parámetro de un subprograma es otro subprograma, la consistencia
entre la llamada y la definición requiere que los subprogramas (parámetros)