Algoritmos y Programación en Pascal

158 Capítulo 8. Procedimientos y funciones
8.1 Introducción
La presentación de los principales contenidos de este capítulo se hará en base
al ejemplo que se describe a continuación. Supongamos que queremos escribir
un programa que pida al usuario el valor de un cierto ángulo en grados sexagesimales,
calcule su tangente y escriba su valor con dos decimales. En una primera
aproximación podríamos escribir:
Sean a, t ∈ IR
Leer el valor del ángulo a (en grados)
Calcular la tangente, t, de a
Escribir el valor de t con dos decimales
Este nivel de refinamiento 1 se puede escribir en Pascal, dejando sin definir
la expresión tangente de a (dado en grados) y la acción Escribir un valor dado,
con dos decimales:
Program CalculoTangente (input, output);
{Se halla la tangente de un ángulo, dado en grados}
var
a, {ángulo}
t: real; {su tangente}
begin
Leer el valor del ángulo a (en grados)
t:= tangente de a;
Escribir el valor de t, con 2 decimales
end. {CalculoTangente}
Desde el punto de vista del seudoprograma principal, tanto la lectura del
ángulo a, como la expresión tangente de a y la acción Escribir el valor de t,
con dos decimales son abstractas: se ignora su particular modo de operar. Por
otra parte, al no estar predefinidas, es necesario concretarlas, usando recursos
del lenguaje (predefinidos o añadidos por el programador), para que puedan ser
ejecutadas.
Como se puede ver, resulta útil empezar utilizando acciones o expresiones
abstractas, aun sin estar definidas todavía. En principio, basta con saber qué
tiene que hacer (o calcular) cada acción (o expresión) abstracta e introducir un
nombre adecuado para ellas, por ejemplo
LeerGrados(a);
t:= TanGrados(a);
EscrDosDec(t)
1 En la presentación de estos primeros ejemplos seguiremos un proceso de refinamiento, pero
sin detallar las especificaciones, para no entorpecer la exposición de los contenidos del capítulo.