Algoritmos y Programación en Pascal

60 Capítulo 4. Elementos básicos del lenguaje
Program Identificador ( Identificador ) ;
Figura 4.5. Encabezamiento de un programa.
objetos, externos al programa, con que éste intercambia información: la inclusión
de éstos en el encabezamiento establece la comunicación correspondiente desde
el programa.
En los primeros programas estos objetos son sólo los archivos estándar: el
de entrada de datos (input) y el de salida (output), que en los computadores
personales representan a la consola (teclado y monitor respectivamente); ambos
archivos se incluirán siempre que el programa deba realizar operaciones de
entrada y salida respectivamente, aunque conviene que el archivo output esté
siempre presente, para indicar al computador dónde comunicar las eventuales
situaciones de error. Más adelante, se verá cómo el programa podrá recibir información
de otra procedencia (por ejemplo, una tabla estadística situada en un
archivo de disco), o dirigir su salida a otros dispositivos (tales como la impresora).
El encabezamiento es obligatorio en Pascal estándar pero optativo en Turbo
Pascal y en otros traductores; sin embargo, es recomendable utilizarlo siempre,
para que los programas sean más claros y se puedan usar en otros entornos.
El encabezamiento empieza con la palabra reservada Program, seguida del
nombre del programa, que debe ser un identificador válido de Pascal y, entre
paréntesis, la lista de parámetros del programa. El encabezamiento se separa de
las siguientes secciones con un punto y coma (;). Por ejemplo:
Program AreaCirculo (input, output);
Program DeclaracRenta (input, output, tablaRetenciones);
Así pues, la sintaxis del encabezamiento responde al diagrama de la figura 4.5.
4.4.2 Declaraciones y definiciones
Además de los identificadores predefinidos, el usuario casi siempre va a necesitar
el uso de otros nuevos, en cuyo caso debe introducirlos y describirlos
(excepto el identificador del programa) antes de usarlos; este protocolo se corresponde
conceptualmente con la sentencia siguiente, de uso común en Matemáticas
Sean n ∈ Z, x ∈ IR, p = 3.14 y f : IR → IR tal que f(x) = px n
,