Intro Ducci On Pascal

Introducci
on a la Programaci
on.
Pascal.
Vicente L
opez
Escuela T
ecnica Superior de Inform
atica
Universidad Aut
onoma de Madrid
( vicente.lopez@ii.uam.es )
Indice General
1 Esquemas B
asicos
1.1 Ordenacion temporal . . . . . . . . . . . . . . . . . . . . . . .
1.2 Componentes basicos . . . . . . . . . . . . . . . . . . . . . . .
1.3 Trafico de informacion . . . . . . . . . . . . . . . . . . . . . .
2 Lenguajes
2.1 Procesamiento de informacion:
2.2 Formalizacion de los lenguajes
2.3 Las maquinas de Von Neuman
2.4 Breve historia de los lenguajes
2.5 Tipos de lenguajes . . . . . .
hombre y ordenador
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
. . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
8
9
13
13
15
16
17
20
3 Algoritmos
23
3.1 Pasos en la resolucion . . . . . . . . . . . . . . . . . . . . . . . 23
3.2 Uso m
ultiple . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.3 El ejemplo de Josefo . . . . . . . . . . . . . . . . . . . . . . . 25
4 Pascal
4.1 Caractersticas . . . . . . . . . . .
4.2 El programa Pascal . . . . . . . . .
4.3 Palabras reservadas y estructuras .
4.4 Instrucciones sencillas y compuestas
4.5 Diagramas de sintaxis . . . . . . .
.
.
.
.
.
33
33
34
35
37
38
5 Datos
5.1 Variables, datos y direcciones . . . . . . . . . . . . . . . . . .
5.2 Identificadores . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.3 Tipos de datos . . . . . . . . . . . . . . . . . . . . . . . . . .
39
39
40
41
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
INDICE GENERAL
4
5.4
5.5
5.6
5.7
Constates con tipo . . . . . . .

Inicializacion de los datos . . .
Asignacion de las constantes . .
Asignacion de los distintos tipos
. . . . . . .
. . . . . . .
. . . . . . .
de variables
.
.
.
.
.
.
.
.
.
.
.
.
6 Entrada y salida
6.1 Dispositivos de entrada, salida y almacenamiento
6.2 Las funciones Read y Write . . . . . . . . . . . .
6.3 Formatos . . . . . . . . . . . . . . . . . . . . . . .
6.4 Las funciones WriteLn y ReadLn . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
46
46
46
47
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
51
51
52
54
55
7 Acciones
7.1 Operaciones basicas. . . . . . . . . . . . . . . . . . . . .
7.1.1 Operadores aritmeticos y expresiones aritmeticas.
7.1.2 Funciones aritmeticas. . . . . . . . . . . . . . . .
7.1.3 Aritmetica entera y real. . . . . . . . . . . . . . .
7.1.4 Operadores logicos. . . . . . . . . . . . . . . . . .
7.1.5 Expresiones logicas. . . . . . . . . . . . . . . . . .
7.1.6 Manipulacion de bits. . . . . . . . . . . . . . . . .
7.2 Sentencias de control. . . . . . . . . . . . . . . . . . . . .
7.3 Sentencias de repeticion. . . . . . . . . . . . . . . . . . .
7.4 Manipulacion de los datos STRING. . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
59
59
59
61
62
65
68
70
74
79
85
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
87
87
88
90
91
92
96
97
99
.
.
.
.
103
. 103
. 105
. 106
. 108
8 Modularidad
8.1 Dividir para vencer . . . . . . . . . . . .
8.2 Procedimientos . . . . . . . . . . . . . .
8.3 Funciones . . . . . . . . . . . . . . . . .
8.4 Ambito
de definicion de las variables . .
8.5 Paso de valores por contenido o direccion
8.6 Definicion diferida . . . . . . . . . . . . .
8.7 Modulos y submodulos . . . . . . . . . .
8.8 Recursividad . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9 Datos con estructura

9.1 Tipos de datos definidos por el programador
9.2 Enumeraciones . . . . . . . . . . . . . . . .
9.3 Conjuntos . . . . . . . . . . . . . . . . . . .
9.4 Arrays . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
INDICE GENERAL
9.5
9.6
Registros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
Uniones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
10 Ficheros
125
10.1 Ficheros con Tipo . . . . . . . . . . . . . . . . . . . . . . . . . 125
10.2 Procesamiento secuencial y aleatorio . . . . . . . . . . . . . . 131
10.3 Ficheros de Texto . . . . . . . . . . . . . . . . . . . . . . . . . 136
11 Punteros
11.1 Contenidos, direcciones e identificadores .
11.2 Punteros . . . . . . . . . . . . . . . . . . .
11.3 Asignacion dinamica de memoria. . . . . .
11.4 Declaraciones recursivas de tipos de datos
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
141
. 141
. 142
. 145
. 147
INDICE GENERAL
Captulo 1
Esquemas b
asicos del
ordenador
1.1
Ordenaci
on temporal
Un ordenador es una maquina dise

nada para el procesamiento automatico
de informacion.
El esquema mas sencillo de un ordenador actual es el siguiente:
Entrada
- Computadora
Salida
Se denominan dispositivos de entrada a todos aquellos que hacen posible

la captura de los datos necesarios para realizar las tareas encomendadas al
ordenador. Ejemplos comunes de dispositivos de entrada son los teclados, las
tarjetas perforada, y los ratones, pero tambien lo son los escaners, microfonos,
terminales TRC (Tubos de Rayos Catodicos),...
Se denominan dispositivos de salida a todos aquellos que hacen posible
la comunicacion de los resultados de las tareas realizadas por el ordenador.
Ejemplos comunes de dispositivos de salida son los terminales TRC, impre7

CAPITULO 1. ESQUEMAS BASICOS
soras, y plotters, pero tambien lo son altavoces, actuadores mecanicos,...

Es fundamental en un computador la ordenacion temporal de sus operaciones:
- Computadora
Entrada
Salida
Tiempo
y los componentes se definen exclusivamente a partir de la secuencia de operaciones realizadas.
1.2
Componentes b
asicos
Globalmente a los dispositivos de entrada y salida se les denomina perifericos.

Los dispositivos de almacenamiento de informacion como discos, diskettes,
cintas,..., tambien son perifericos que son dispositivos de entrada o salida
seg
un se grabe o se lea la informacion.
A los componentes fsicos del ordenador se le denomina Hardware y a la
informacion que dirige la realizacion de las tareas se le denomina Software.
El ordenador, aparte de los perifericos, consta de dos componentes principales: Unidad de memoria y unidad central de procesos.
Ordenador
Unidad
central de
procesos
Unidad de
memoria
La unidad de memoria esta formada por cientos, miles o millones de

celdas de memoria en las que se puede almacenar informacion y que
estan identificadas por su direccion (en el sentido postal).

1.3. TRAFICO
DE INFORMACION
Al contenido de la informacion en general se accede por la direccion de

la celda. El contenido tambien puede ser la direccion de una celda con
lo que es posible almacenar en memoria la instrucciones que se han de
realizar incluyendo el acceso a la informacion de las celdas.
La unidad central de procesamiento (CPU) dirige y controla el procesamiento de informacion que realiza el ordenador y consta de dos partes:
la unidad de control y la unidad aritmetico logica.
unidad
memoria
de
6
?
unidad
de
control
unidad
aritmetico
logica
La unidad de control busca, obtiene, y ejecuta las instrucciones de

los programas almacenadas en la memoria. Cuando las instrucciones
indican la realizacion de operaciones aritmeticas (+, ,... ) o logicas (
, , ...) estas se derivan para ser realizadas en la unidad aritmetico
logica.
1.3
Tr
afico de informaci
on
Vamos a ver de forma simplificada las acciones a las que da lugar en un

ordenador las instrucciones de un programa. Es fundamental comprender lo
inexcusable de la secuencialidad temporal de la instrucciones suministradas
al ordenador.
Como ejemplo vamos a considerar esta porcion de programa:
{1}
{2}
{3}
{4}
{5}
a := 3;
b := 5;
c := a + b;
c := c + 2;
if (c > 9) then writeln(c);

10
y consideraremos un modelo muy simplificado de un ordenador. Este modelo

dispone de una U.C.P., con unidad de control y aritmetico logica, y una
peque
na memoria con 64 posiciones.
Se reservan las posiciones de la 1 a la 50 para almacenar los programas
que luego se ejecutaran y las posiciones 51, 52, 53, ... se utilizan para datos
intermedios.
En nuestro modelo se inicializan todos los datos a cero al empezar la
ejecucion del programa y cuando la U.C.P. va a empezar a ejecutar la primera
instruccion las posiciones 51, 52 y 53 contienen un 0. En esas posiciones se
almacenaran los valores de las variables a,b, y c, respectivamente,
0
51
52
53
La primera instruccion del programa

a := 3;
indica a la U.C. que en la posicion 51 de memoria ha de almacenarse el
n
umero entero 3.
3
0
0
51
52
53
La segunda,
b := 5;
que en 52 almacene un 5,
3
51
52
53
y en la tercera, la U.C. realiza las siguientes acciones: obtiene los n

umeros
almacenados en 51 y 52, los enva a la U.A.L. para ser sumados y el resultado
que devuelve se almacena en 53.
3
51
52
53
1.3. TRAFICO
DE INFORMACION
11
En la cuarta instruccion obtiene el n

umero almacenado en 53 y lo enva a
la U.A.L. junto con el 2 para ser sumados. El resultado devuelto lo almacena
de nuevo en 53.
3
5
10
51
52
53
La quinta instruccion implica que la U.C. obtiene el n

umero almacenado
en 53 y lo enva junto con el 9 a la U.A.L. para ser comparados. Como
de la comparacion la U.A.L. devuelve que es cierto, se enva al periferico
correspondiente la orden de sacar al exterior el contenido de la memoria 53.
12
Captulo 2
Lenguajes de programaci
on
2.1
Procesamiento de informaci
on: hombre y
ordenador
La informacion que puede procesar un ordenador es distinta a la que puede

procesar un humano. A
un suponiendo que el procesamiento de informacion
que realiza el cerebro humano es comparable al que realiza un ordenador,
la diferencia de dise
no entre ambos explicara la incompatibilidad. Para el
humano resulta comodo expresar y pensar conceptos abstractos. La frase
Sumar dos n
umeros evoca claramente un operacion general que dentro del
formalismo matematico carece de ambig
uedad:
z =x+y
Es equivalente el valor de la variable z a la suma de los valores

de las variables x e y.
El modo en que esta frase puede traducirse en una orden precisa para que la
realice un ordenador ha cambiado con el tiempo seg
un variaban los dise
nos de
los ordenadores. Primitivamente en ordenadores como el MARK I se trataba
de una secuencia de tripletes de perforaciones en un cinta. Hoy en da se
trata de las secuencias de ceros y unos del codigo binario. En el futuro los
programas podran parecerse a los pentagramas de m
usica actuales.
Una lectura parcial de la expresion matematica anterior puede ser la
siguiente:
13
CAPITULO 2. LENGUAJES
14
Un valor particular de la variable z se obtiene sumando los valores

de las variables x e y.
En el lenguaje PASCAL la suma de dos n
umeros correspondiente a esta
interpretacion se expresa con la instruccion
z := x + y ;
con una sintaxis muy proxima a la expresion matematica, si bien su semantica
es distinta pues ha de entenderse del siguiente modo:
El valor almacenado en la memoria identificada con el nombre x
y el valor almacenado en la memoria identificada con el nombre y,
han de sumarse almacenando el resultado en el lugar de memoria
identificado por el nombre z.
Sin embargo, la informacion que ha de recibir la Unidad Central de Proceso de un ordenador para realizar esta operacion puede ser:
0010 0000 0000 0100
0100 0000 0000 0101
0011 0000 0000 0110
lo que en una lenguaje que establece un compromiso entre ordenador y hombre corresponde a
X
@
@
R
@
Z

LOAD
ADD
STORE
X
Y
Z
Este lenguaje se denomina Ensamblador (Assembler) y casi corresponde a

una traduccion de la secuencia de ceros y unos en palabras mas faciles de
recordar. Se suele hablar de lenguajes de programacion de bajo y alto nivel,
seg
un se acerquen a lenguaje natural de los humanos. El ensamblador es un
DE LOS LENGUAJES
2.2. FORMALIZACION
15
lenguaje de programaci
on de bajo nivel y el PASCAL es un lenguaje
de programaci
on de alto nivel. A la secuencia binaria que acepta la UCP
del ordenador se le denomina lenguaje m
aquina.
La desventaja obvia de un lenguaje de bajo nivel es lo costoso que resulta
la programacion de un ordenador con el. A medida que un lenguaje se acerca
mas al lenguaje natural, mas sencillo es programar con el y mas accesible a
personas no especializadas. Pero existe otra desventaja: los lenguajes de
bajo nivel dependen del ordenador. Dado que se han de ce
nir al dise
no
logico del ordenador, un lenguaje ensamblador solo es valido para familias
de ordenadores con el mismo dise
no logico.
2.2
Formalizaci
on de los lenguajes
Los lenguajes de alto nivel que vamos a estudiar en este curso son el resultado
de investigaciones realizadas desde dos enfoques distintos. Por una parte, un
lenguaje de programacion es un caso particular de un lenguaje formal; por
otra, una solucion al problema de ingeniera que surge en la construccion de
maquinas procesadoras de informacion.
La formalizacion de los lenguajes es un tema de investigacion desde los
antiguos griegos. Aristoteles (384332 A.C.) se puede considerar el padre
de la logica formal. Leibniz en el siglo XVII, y Frege en el XIX, intentaron construir lenguajes formales sin la imprecision y ambig
uedad de lenguaje
ordinario. Gorge Boole en 1854 proporciono un nuevo intento de formalizacion con la introduccion de smbolos, formulas y axiomas. El metodo
logico de Boole permitio construir maquinas logicas que poda resolver automaticamente problemas logicos. Mas tarde, el espa
nol Leonardo Torres
y Quevedo (18521939), entre otros dise
nos mecanicos automaticos, construyo el Ajedrecista, un automata capaz de jugar al ajedrez. A finales del
siglo XIX y en el XX, los lenguajes formales se investigaron con el intento
de formalizar las matematicas de un modo similar a como Euclides haba
formalizado la geometra. Las ideas fundamentales de Russel, Whitehead,
Hilbert, Church, y finalmente Goedel, permitieron establecer la imposibilidad de ese proyecto. Turing y Post en 1936 introdujeron un formalismo de
manipulacion de smbolos ( la denominada maquina de Turing ) con el que se
puede realizar cualquier computo que hasta ahora podemos imaginar. Esta
fue una va de comunicacion entre los problemas formales de la computacion
y de la matematica. La union permitio demostrar que no existe ninguna
16
maquina de Turing que pueda reconocer si una sentencia es o no un teorema de un sistema logico formal; pero tambien permitio demostrar que si un
calculo puede explicitarse sin ambig
uedad en lenguaje natural, con ayuda
de smbolos matematicos, es siempre posible programar un ordenador digital
capaz de realizar el calculo, siempre que la capacidad de almacenamiento de
informacion sea la adecuada.
Desde el punto de vista de la ingeniera, los progresos en lenguajes de programacion han sido paralelos a los dise
nos de los nuevos ordenadores. Babbage ya escribio programas para sus maquinas, pero los desarrollos importantes
tuvieron lugar, igual que en los ordenadores, alrededor de la segunda guerra
mundial. Fue en esa epoca (justo despues de finalizada la guerra) cuando
Zuse publico su libro Calculo y programacion. En el aparece por primera vez
el concepto de operacion de asignacion. Zuse se planteo el problema siguiente: la expresion z = z + 1 es incorrecta para significar El nuevo valor de z
se obtiene sumando 1 al antiguo , e introdujo la expresion z + 1 z. Esta
sentencia de asignacion nunca se haba utilizado antes pues siempre se introduca una nueva variable cuando se proceda a una asignacion ( por ejemplo
y = z + 1). Este nuevo enfoque es fundamental puesto que el uso sistematico
de las asignaciones es lo que distingue la forma de pensar en ciencias de la
computacion y en matematicas.
2.3
Las m
aquinas de Von Neuman
Originalmente la programacion de un ordenador era directamente la reordenacion de los componentes del ordenador. La idea de producir un programa
de ordenador que se pudiera almacenarse en la memoria del ordenador se
debe a Von Neuman y aparecio en un informe que hizo sobre el ordenador
EDVAC. Von Neuman considero la posibilidad de que una palabra formada
por 32 bit fuera o bien un n
umero o bien una instruccion. Una instruccion se
codificaba por un grupo de bits adyacentes y considero sumas, multiplicaciones, transferencia de contenidos de memoria a registros, test, e instrucciones
de bifurcacion. As, un programa consistira en una secuencia de palabras en
forma binaria.
Necesidades practicas muy obvias llevaron a la utilizacion de mnemotecnicos
para programar las instrucciones, y posteriormente otro programador traduca los mnemotecnicos a lenguaje maquina. El paso siguiente deba ser
conseguir que fuera el ordenador el que tradujera esas codificaciones y tam-
2.4. BREVE HISTORIA DE LOS LENGUAJES
17
bien lograr que ciertos codigos correspondieran a mas de una instruccion

elemental del ordenador. Al principio de los a
nos cincuenta se empezaron a
construir estos Decodificadores o Ensambladores.
El objetivo de los ingenieros que trabajaban en el dise
no de los ordenadores era conseguir que el ordenador aceptara instrucciones con un formato
similar al matematico, puesto que en aquella epoca la mayora de la aplicaciones giraban alrededor de calculos complejos. Para lograr esto fue necesario
un cambio radical en el enfoque de la operacion de un ordenador.
Datos
ordenador
Resultado
Programa
ordenador
Programa
El ordenador deba considerarse como un procesador de informacion capaz de transformar un programa escrito en un lenguaje de alto nivel en un
programa en lenguaje maquina. A su vez, deba programarse el compilador
capaz de realizar esta transformacion.
2.4
Breve historia de los lenguajes
En los a
nos 50 se realizaron varios compiladores primitivos y fue en 1957
cuando aparecio el primer compilador de FORTRAN. El compilador de FORTRAN (FORmula TRANslator) estaba dise
nado para traducir a lenguaje
maquina expresiones y operaciones matematica, e incluso permita la manipulacion de matrices. La aparicion del FORTRAN fue un gran cambio para
18
los programadores que no todos aceptaron de buen grado. No les gustaba

que sus programas fueran tratados por el ordenador como meros datos, y argumentaban que el codigo maquina generado por el compilador nunca podra
ser tan eficiente como el escrito por ellos directamente. Esto no era generalmente as, puesto que el FORTRAN no fue dise
nado pensando en crear un
lenguaje bien estructurado sino pensando en crear un traductor de expresiones aritmeticas a codigo maquina muy eficiente. Por ello, el dise
no logico del
ordenador IBM 704 para el que fue creado casi puede deducirse del lenguaje
FORTRAN. En diferentes versiones, cada vez mas estructuradas, el lenguaje
FORTRAN se ha utilizado extensivamente desde que aparecio hasta hoy en
da, y puede considerarse el lenguaje estandard del calculo cientfico.
Unos a
nos despues de aparecer el FORTRAN aparecio el lenguaje ALGOL 60 (Algorithm Language), que fue dise
nado para ser independiente del
ordenador con una gramatica bien definida. Tambien de aquella epoca es el
COBOL (Common Business Oriented Language) que se dise
no para para las
manipulaciones de datos normales en aplicaciones de negocios y con un uso
mayor del lenguaje ingles en sus frases. Las versiones modernas del COBOL
siguen usandose en la actualidad y es el lenguaje estandard en aplicaciones
informaticas bancarias. Desde entonces han aparecido diversos lenguajes de
alto nivel entre los que podemos mencionar el BASIC (Beginners Allpurpose
Symbolic Instructional Code), PL/I , APL, PASCAL, ADA, MODULA , C ,
RPG, PROLOG, LISP, ... etc. Alguno de estos lenguajes han sido dise
nados
para un tipo concreto de aplicaciones. Por ejemplo, el ADA para aplicaciones relacionadas con defensa, o el RPG para transacciones usuales en los
bancos. La evolucion de los lenguajes de programacion ha estado guiada por
la evolucion de:
Los ordenadores y sus sistemas operativos.
Las aplicaciones.
Los metodos de programacion.
Los fundamento teoricos.
La importancia dada a la estandarizacion.
Podemos resumir la evolucion de los lenguajes de programacion en la siguiente tabla:
2.4. BREVE HISTORIA DE LOS LENGUAJES

periodo Influencias
1950 55 Ordenadores primitivos
1956 60 Ordenadores peque

nos,
caros y lentos
Cintas magneticas
Compiladores e interpretes
Optimizacion del codigo
1961 65 Ord. grandes y caros
Discos Magneticos
Sistemas operativos
Leng. de proposito general
19
Lenguajes
Lenguajes ensamblador
Lenguajes experimentales
de alto nivel
FORTRAN
ALGOL 58 y 60
COBOL
LISP
FORTRAN IV
COBOL 61 Extendido
ALGOL 60 Revisado
SNOBOL
APL ( como notacion solo)
1966 70 Ordenadores de diferentes
PL/I
tama
nos, velocidades, costes FORTRAN 66 (estandard)
Sistemas de almacenamiento COBOL 65 (estandard)
masivo de datos (caros)
ALGOL 68
S.O. multitarea e
SNOBOL4
interactivos
SIMULA 67
Compil. con optimizacion
BASIC
Leng. estandard ,
APL/360
flexibles y generales
1971 75 Micro ordenadores
Sistemas de almacenamiento PASCAL
masivo de datos peque
nos
COBOL 74
y baratos
PL /I
Progr. estructurada
Ingeniera del software
Leng. sencillos
1976 80 Ord. baratos y potentes
ADA
Sistemas distribuidos
FORTRAN 77
Prog. tiemporeal
PROLOG
Prog. interactiva
C
Abstraccion de datos
Prog. con fiabilidad
y facil mantenimiento
20
2.5
Tipos de lenguajes
Desde un punto de vista mas general los lenguajes se pueden clasificar en

lenguajes de procedimiento o declarativos. En los primeros, con el lenguaje se
especifica paso a paso el procedimiento que ha de realizar el ordenador para
procesar la informacion, mientras que en los segundos se declaran hechos
que han de dirigir las respuestas del ordenador. El PASCAL y el C que
estudiaremos en este curso son de procedimiento, mientras que por ejemplo
el PROLOG, es declarativo.
Una porcion de programa PROLOG es as:
. . .
hijo(X,Y) <- padre(Y,X) , varon (X).
hija(X,Y) <- padre(Y,X) , hembra (X).
abuelo(X,Z) <- padre(X,Y) , padre (Y,Z).
. . .
estableciendo relaciones logicas que determinan una base de verdades con las
que han de ser coherentes las respuestas del programa.
Exite una diferencia grande en la programacion con un lenguaje u otro
seg
un sea interpretado o compilado, si bien esta distincion puede no ser inherente al lenguaje sino a su puesta en practica en un determinado ordenador.
Un lenguaje es interpretado cuando la transformacion de las instrucciones de
alto nivel a lenguaje maquina se realiza sentencia a sentencia seg
un se van
ejecutando. Un lenguaje es compilado cuando esta trasformacion se realiza
en bloque antes de que ninguna instruccion sea ejecutada. Por ejemplo, el
BASIC en general se suele interpretar y el LISP siempre. En un lenguaje
interpretado la puesta a punto de un programa ha de realizarse secuencialmente puesto que las distintas partes del programa no se pueden verificar
hasta que entran en ejecucion.
En el caso mas com
un de lenguajes compilados, son varios los subprocesos
implicados en la transformacion del codigo de alto nivel en instrucciones
ejecutables por la UCP.
2.5. TIPOS DE LENGUAJES
21
Programa
COMPILADOR

Leng. maquina

H
HH
HH
L. maquina

HH

H

HH

HH

MONTADOR
Codigo UCP
A su vez el compilador realiza varias tareas:

verificacion de la sintaxis
transformacion a codigo maquina
optimizacion
Si un programa es incorrecto sintacticamente, el compilador detectara el error
y lo comunicara con un mensaje relacionado con la regla del lenguaje que
se ha incumplido. Normalmente, estos son los errores mas comunes y mas
faciles de detectar.
El montador (Linker) unifica el codigo con el proveniente de otros subprogramas con el que se intercambian datos. Para ello realiza una lista de los
22
datos que comparten todos los programas y asigna las direcciones comunes
donde cada uno debera procesar esos datos. Esta unificacion de direcciones
sera imposible si alg
un procedimiento supuestamente existente en otro subprograma no aparece o aparece de un modo no unvoco. Tambien sera causa
de error que alg
un dato compartido por subprogramas este declarado de modo distinto en cada programa. Estos errores son poco comunes y facilmente
detectable con los mensajes de error proporcionados por el montador. Sin
embargo, los errores mas comunes y mas tediosos de eliminar son aquellos
de programacion que dan lugar a sentencias sintacticamente correctas pero
que corresponde a acciones distintas a las deseadas. Desgraciadamente solo
se detectan en la ejecucion del programa.
En la actualidad existe la posibilidad de utilizar depuradores de programas (llamados en ingles debuggers por el origen de los errores en los ordenadores primitivos ) que permiten seguir la ejecucion paso a paso de un
programa aunque se obtenga el codigo maquina por compilacion. Esta herramienta facilita enormemente la depuracion de los programas pues permite
conocer o modificar el valor de los datos manipulados en el programa durante
la ejecucion.
Captulo 3
Algoritmos y resoluci
on de
problemas con el ordenador
3.1
Pasos en la resoluci
on
Vamos a analizar las caractersticas del procedimiento de resolucion de un

problema con el ordenador. La mayora de las consideraciones son validas
para problemas genericos y muy pocas son especficas de esta herramienta.
Etapas del procedimiento de resolucion:
1. An
alisis del problema.
2. Realizaci
on de la estrategia ideada para su soluci
on.
3. Verificaci
on y an
alisis del rendimiento del procedimiento.
Cada una de estas etapas consta de varias tareas:
1. An
Comprension del problema.
Pues de lo contrario podemos acabar resolviendo magistralmente
un problema distinto.
Especificacion de los datos de entrada.
23
CAPITULO 3. ALGORITMOS
24
Dise
no del esquema del algoritmo que satisface las restricciones
del problema.
ALGORITMO: Procedimiento para resolver un problema paso a paso.
ALGORITMO: Conjunto de operaciones
que secuencialmente conducen a la respuesta
a una pregunta en un n
umero finito de pasos.
Especificacion del modo de proporcionar la respuesta al problema
planteado
2. Realizaci
on.
Captura de datos.
Generacion de las estructuras de datos adecuadas para el algoritmo que se va a utilizar.
Especificacion de los algoritmos.
Presentacion de los resultados.
Cuando la herramienta que se utiliza es el ordenador, la estrategia se
ha de realizar en tres pasos:
(a) DISENO.
(b) ESCRITURA.
(c) VERIFICACION.
3. Verificaci
on y an
Prueba con casos sencillos.
Prueba con casos complejos.
Prueba con casos extremos.
Analisis del rendimiento en casos poco favorables y en casos tpicos.
Refinamiento de los algoritmos.
Refinamiento de la escritura de los algoritmos.

3.2. USO MULTIPLE
3.2
25
Uso m
ultiple
El uso m
ultiple de los procedimientos para la resolucion de problemas con
el ordenador implica que los procedimientos han de cumplir los siguientes
requisitos:
La resolucion de un mismo problema con distintos datos y en periodos
largos de tiempo obliga a:
1. Realizacion de procedimientos muy bien verificados.
2. Realizacion de procedimientos muy bien documentados y escritos
con un estilo claro.
La resolucion de un mismo tipo generico de problemas o variantes del
mismo, con reutilizacion de las herramientas desarrolladas, obliga a:
1. Realizacion de procedimientos modulares.
El uso del procedimiento dentro de un equipo por distintas personas
para resolver un mismo problema o variantes de el, obliga a:
1. Realizacion de procedimientos muy bien verificados.
2. Realizacion de procedimientos modulares.
3.3
El ejemplo de Josefo
Vamos a ver el significado de todas estas consideraciones con un ejemplo:

una variante del Problema de Josefo (Flavio Josefo, I DC):
Un grupo de personas prefieren el suicidio a la esclavitud y deciden colocarse en crculo eligiendo siempre al siguiente como ejecutor y asesinando al situado despues del ejecutor. As sucesivamente hasta que quede un solo ciudadano que debera suicidarse.
El problema de Josefo es conocer en que lugar ha de colocarse en
el corro para quedar el u
ltimo y reflexionar libremente sobre la
decision colectiva.
26
Se pretende disponer de un programa en Pascal capaz de proporcionar rapidamente

la posicion privilegiada.
1. An
Comprension del problema.
Es muy u
til empezar con un caso sencillo.
'$
-1
&%
Especificacion de los datos de entrada.

En este caso es solo el n
umero de individuos en el crculo.
Dise
no del esquema del algoritmo que satisface las restricciones
del problema.
Si es posible utilizar una estructura de datos de lista circular el
algoritmo es una copia del metodo grafico de resolver el problema.
Especificacion del modo de proporcionar la respuesta al problema
planteado
La respuesta es comunicar el n
umero de orden del u
ltimo individuo
en el crculo.
2. Realizaci
on.
Captura de datos.
3.3. EL EJEMPLO DE JOSEFO
27
{ Lectura del numero de personas en el circulo }

Readln(n);
Generacion de las estructuras de datos adecuadas para el algoritmo que se va a utilizar.
Se define la estructura de datos mas adecuada
{ el tipo NODO es un registro que contiene el ordinal y un
}
{ enlace al siguiente nodo. Se formara una lista circular de nodos }
type enlace = ^nodo;
nodo = record
numero: integer;
siguiente: enlace
end;
var
j , n : integer;
individuo , temporal: enlace;
y se rellena
{Se construye la lista circular }
{ Se genera el nodo de cabeza y se guarda en TEMPORAL
{ para luego poder cerrar el circulo
new(individuo);
individuo^.numero := 1;
temporal := individuo;
}
}
{ Se generan los restantes nodos hasta completar los N nodos}

for j := 2 to N do begin
new(individuo^.siguiente);
individuo := individuo^.siguiente;
individuo^.numero := j;
end; {endfor}
{Se cierra la lista circular al apuntar con el n-esimo }
{nodo al primero
}
individuo^.siguiente := temporal;
28
Especificacion de los algoritmos.

{Algoritmo de eliminacion de individuos de la lista circular}
{Mientras quede mas de un solo nodo en la lista se eliminan }
while ( individuo <> individuo^.siguiente ) do begin
{se salta al ejecutor }
individuo:= individuo^.siguiente;
{se avisaria del individuo que seria eliminado }
{ writeln (individuo^.siguiente^.numero);}
{se almacena el nodo que se va eliminar para luego liberarlo }
{de la memoria}
temporal := individuo^.siguiente;
{Se une el antecesor del nodo fiambre a su sucesor}
individuo^.siguiente := individuo^.siguiente^.siguiente;
{y la liberacion de la posicion de memoria del nodo completa la}

{ejecucion
}
dispose(temporal);
end; {endwhile}
Presentacion de los resultados.
{Se comunica el orden del ultimo en el circulo }
writeln (individuo^.numero);
El programa completo es:
Program Josefo (input,output);
{ el tipo NODO es un registro que contiene el ordinal y un enlace }
{ al siguiente nodo. Se formara una lista circular de nodos
}
type enlace = ^nodo;
29
nodo = record
numero: integer;
siguiente: enlace
end;
var
j , n : integer;
individuo , temporal: enlace;
begin { Josefo }
Readln(n);
{Se construye la lista circular }
{ Se genera el nodo de cabeza y se guarda en TEMPORAL
{ luego poder cerrar el circulo
new(individuo);
individuo^.numero := 1;
temporal := individuo;
para }
}
{ Se generan los restantes nodos hasta completar los N nodos}

for j := 2 to N do begin
new(individuo^.siguiente);
individuo := individuo^.siguiente;
individuo^.numero := j;
end; {endfor}
{Se cierra la lista circular al apuntar con el n-esimo nodo al primero}
individuo^.siguiente := temporal;
{Algoritmo de eliminacion de individuos de la lista circular }
{Mientras quede mas de un solo nodo en la lista se eliminan
while ( individuo <> individuo^.siguiente ) do begin
30
{se avisaria del individuo que seria eliminado }

{ writeln (individuo^.siguiente^.numero);}
{se almacena el nodo que se va eliminar para luego liberarlo }
{de la memoria}
temporal := individuo^.siguiente;
{Se une el antecesor del nodo fiambre a su sucesor}
individuo^.siguiente := individuo^.siguiente^.siguiente;
{y la liberacion de la posicion de memoria del nodo completa la}
{ejecucion
}
dispose(temporal);
end; {endwhile}
{Se comunica el orden del ultimo en el circulo }
writeln (individuo^.numero);
end. { Josefo }
3. Verificaci
on y an
Prueba con casos sencillos.
Se probara con N = 6 para el que se conoce bien el resultado.
Prueba con casos complejos.
Se probara con N grande.
Prueba con casos extremos.
Se probara con N = 1.
Analisis del rendimiento en casos poco favorables y en casos tpicos.
En este caso el algoritmo utilizado crece linealmente con el n
umero
de individuos considerado.
Refinamiento de los algoritmos.
En este caso un analisis mas detallado del problema lleva a un
algoritmo mucho mas eficiente y cuyo costo computacional es independiente del n
umero N de elementos en el crculo:
31
Si se descompone N de la forma N = 2m + l el u
ltimo elemento
que se elimina es el 2l + 1.
Refinamiento de la escritura de los algoritmos.
Uso m
ultiple del programa.
Verificacion.
La verificacion a menudo debe incluir pruebas para detectar el mal uso
del programa por parte de un usuario que no esta familiarizado con el
programa o con el problema.
En el programa Josefo la captura de datos de datos podra incluirse
una especificacion del dato requerido y una verificacion del valor.
writeln( Teclee el n
umero de elementos en el c
rculo );
Readln(n);
if (n <1) then begin
writeln( Ha de ser un numero mayor que cero);
Halt;
end; {endif}
Modularidad.
Documentacion.
Claridad de estilo.
El programa Josefo si se acompa
na de la adecuada documentacion
externa permite su utilizacion para distintos datos y en tiempos futuros.
Su modificacion para variantes del mismo problema es sencilla. Imaginemos que el problema se modifica y se eliminan elementos saltando
cada vez M individuos en vez de 2. Aparte de la modificacion en la
entrada de datos , la modificacion del algoritmo es mnima y sencilla
de localizar:
32
se modificara a:

for j := 1 to ( M -1 )
do begin
end; {endfor}
Esta modificacion sera igual de facil para el autor original del programa
como para cualquier otro programador.
Captulo 4
Pascal y Turbo Pascal
4.1
Caractersticas
El PASCAL es un lenguaje relativamente moderno, desarrollado por Niklaus

Wirth y su grupo de Zurich en 1971. Se trata de un lenguaje de proposito
general, esto quiere decir que se puede emplear para construir todo tipo de
aplicaciones. En la practica tambien quiere decir que se trata de un lenguaje
no dise
nado para desarrollar ning
un tipo especfico de aplicaciones. Pero el
PASCAL es especialmente u
til para algo: para la ense
nanza de buenos modos
de programacion. El PASCAL es hoy en da el lenguaje mas usado para la
ense
nanza de la programacion por varios motivos:
Posee unas reglas sencillas de sintaxis.
Es un lenguaje muy estructurado.
Realiza una comprobacion exhaustiva de tipos de datos.
El hecho de que tenga una estructuracion muy marcada permite que los programas sean faciles de leer e interpretar, y facilita la escritura de programas
del modo que hoy en da se estima correcto.
El compilador de PASCAL es relativamente sencillo de realizar, por lo
que se ha extendido a muchos tipos de plataformas, desde los ordenadores
personales a los grandes ordenadores corporativos. Cuando una aplicacion
se escribe en PASCAL estandard puede compilarse en cualquier maquina en
la que exista compilador de PASCAL , que son la mayora.
33
CAPITULO 4. PASCAL
34
Existen varios dialectos locales del PASCAL , entre los que se encuentra el
TURBO PASCAL , que admiten todas las instrucciones del PASCAL estandard mas un subconjunto especfico de instrucciones normalmente pensadas
para aumentar las capacidades del lenguaje en un ordenador particular.
El TURBO PASCAL , de la compa
na Borland (Scotts Valley, California) es un dialecto del PASCAL que incluye ademas de las instrucciones del
PASCAL estandard una serie de instrucciones que permiten desarrollar aplicaciones especficas para ordenadores IBM PC o IBM PS y compatibles. No
es la u
nica de las versiones de PASCAL existente para estos ordenadores,
pero sin duda la mas extendida y probada. En la actualidad la version 6.0 de
este lenguaje incluye ademas del compilador un entorno integrado de desarrollo (IDE) que permite compilar, visualizar errores y depurar los programas
desde un mismo entorno.
4.2
El programa Pascal
Un programa PASCAL es un conjunto de instrucciones que siguen la sintaxis

y la estructura del PASCAL . La estructura generica es:
Program nombre (ficheros);
. . .
declaraciones
. . .
Begin
. . .
sentencias
. . .
End.
Todo programa Pascal empieza con la palabra Program seguida de un
nombre que elige el programador para identificar el programa. A continuacion
entre parentesis se pueden indicar los ficheros que contienen los datos de
entrada y salida respectivamente. Estos ficheros son el input y el output
para indicar entrada desde el teclado y salida al terminal. Si se quieren
especificar estos ficheros la primera lnea de un programa sera:
Program nombre (Input , Output );
4.3. PALABRAS RESERVADAS Y ESTRUCTURAS
35
y es equivalente a:
Program nombre ;
La primera lnea del programa es una instruccion PASCAL y como todas
ellas termina con el signo de puntuacion ; .
Despues de la identificacion del programa se han de situar las instrucciones declarativas del programa que sirven para especificar sin ambig
uedad el
significado de los terminos que se utilizaran en el programa. A continuacion
han de aparecer las instrucciones correspondientes al procedimiento que se
quiere realizar. Esta instrucciones estan encabezadas por Begin y terminan
con End y un punto. El programa mas peque
no y mas in
util que cumple las
reglas de estructuracion del PASCAL es:
Program nulo;
{ Programa ejemplo de la estructura
mas simple de un programa PASCAL }
Begin
(* No hace falta ninguna instruccion
para no hacer nada
*)
End.
En la parte reservada a declaraciones no se incluye nada pues nada se
necesita declarar. Todos los smbolos que se encuentren entre los parentesis
{ } son comentarios que sirven para hacer mas legible el programa. Tambien
los smbolos compuestos (* y *) sirven para delimitar el principio y fin de un
comentario. Al existir dos tipos de delimitadores de comentarios, es posible
realizar anidacion de comentarios. Por ejemplo,
{ Este es un comentario
(* sintacticamente *)
correcto en PASCAL }
4.3
Palabras reservadas y estructuras
Las palabras Program, Begin, End, Input, y Output, y otras que veremos mas adelante, son identificadores que permiten al compilador PASCAL
CAPITULO 4. PASCAL
36
interpretar el programa y no se pueden utilizar con otros fines. Estas palabras

se suelen referir con el termino Palabras reservadas. El compilador interpreta
igual may
usculas o min
usculas, y por tanto se pueden usar indistintamente.
Esta libertad de eleccion debe utilizarse para aumentar la legibilidad de los
programas. Por ejemplo, podemos empezar siempre con may
uscula las palabras reservadas y as sera mas facil detectar las estructuras del programa.
Tambien suele escribirse todo con may
usculas el nombre de las constantes
cuyo valor no puede alterarse durante el programa. La eleccion de un estilo
u otro de escritura suele variar pero lo importante es que sea uniforme a lo
largo del programa.
En la parte del programa reservada para declaraciones se incluyen diversos
tipos de declaracion:
{1}
{2}
{3}
Program nombre ;
(* Este es un ejemplo de la estructura de la
parte declarativa de un programa PASCAL *)
{4}
Uses nombre unidades ;
{5}
{6}
Const
nombre constante = valor ;
. . .
Type
nombre tipo = def tipo ;
. . .
Var
nombre variable : tipo dato ;
. . .
Begin
. . .
{7}
{8}
{9}
{10}
{11}
La palabra reservada Uses de la instruccion {4} se utiliza para especificar

el nombre las unidades donde se almacenan otros trozos de codigo PASCAL
que son necesarias para completar el codigo especificado en este programa.
Normalmente se trata de porciones de codigo que forman parte de una librera
de programas. En la instruccion {5} la palabra reservada Const indica
que se ha acabado la parte iniciada por Uses y se empieza la parte de
declaracion de las constantes que aparecen en el programa. Con Type se
4.4. INSTRUCCIONES SENCILLAS Y COMPUESTAS
37
inicia la declaracion de tipos de datos definidos por el programador, y con

Var la especificacion del tipo de dato que corresponde a las variables que se
utilizan en el programa. Finalizada esta parte declarativa, empezaran las
instrucciones del procedimiento que se esta programando ({11}). Las lneas
de codigo {1} , {4} , {6} , {8} y {10} corresponden a sentencias PASCAL
y por tanto acaban con el signo de puntuacion ;. Aparte de estos tipos de
declaracion tambien existen las de etiquetas, procedimientos y funciones.
4.4
Instrucciones sencillas y compuestas
El cuerpo de instrucciones del procedimiento esta formado por sentencias que

pueden ser sencillas o compuestas. Las sentencias sencillas acaban con ;
y las compuestas empiezan por Begin y acaban con End. Por ejemplo,
{1}
{2}
If (a > 0) Then
b := a *
a * a ;
la sentencia {2} es sencilla y esta delimitada por la palabra reservada Then

de la construccion condicional iniciada por If, y por el punto y coma. Esta
sentencia sencilla es completamente equivalente a la compuesta especificada
entre {4} y {7}:
{3}
{4}
{5}
{6}
{7}
If (a > 0) Then
Begin
b := a * a ;
b := b * a
End;
El principio de la sentencia es el Begin de {4}, y el final el End de {7}.

La sentencia compuesta consta de dos sencillas. La especificada en {5} se
termina con la puntuacion ; mientras que la de {6} no necesita otra finalizacion que el End. As mismo, la sentencia compuesta ha de finalizarse
con el ; situado despues del End en {7}. En cualquier lugar de un programa PASCAL donde puede incluirse una sentencia sencilla tambien puede
incluirse una compuesta.
CAPITULO 4. PASCAL
38
4.5
Diagramas de sintaxis
La forma mas escueta de representar las construcciones sintacticamente validas

del PASCAL es utilizar los diagramas de sintaxis. La especificacion de las
dos opciones que existen, sentencias sencillas o compuestas, sera as con un
diagrama de sintaxis:
Instruccion sencilla

-

E
E
E
E
E
E
E
E
E
Begin

Instruc. senc.
J
J
J

End

;

Este diagrama ha de leerse siguiendo las fechas de izquierda a derecha y

siendo valido cualquier camino en toda bifurcacion. Una construccion estara
representada por un diagrama de sintaxis cuando empezando por la izquierda
se puede salir por la derecha y cada una de las partes de la construccion corresponde a las especificaciones que se encuentran en el camino. Por ejemplo,
las sentencias presentadas en los ejemplos anteriores son correctas, mientras
que la siguiente:
{4}
{5}
{6}
{7}
Begin
b := a * a ;
b := b * a ;
End;
es incorrecta. Si seguimos el diagrama nos encontramos que despues del

punto y coma, al final de {6}, debera haber otra sentencia sencilla mientras
que existe un End.
Captulo 5
Datos
5.1
Variables, datos y direcciones
En este tema vamos a ver las instrucciones necesarias en un programa PASCAL para especificar los tipos de datos que se van a manejar. Los datos se
almacenaran en la memoria del ordenador en una determinada posicion, pero
para referirnos a ellos se utilizan nombres que el programador elige libremente. El lenguaje PASCAL permite utilizar comodamente una gran variedad
de tipos de datos, pero en este tema solo vamos a ver los mas sencillos.
3.14159
6
nombre
PI
contenido
7161
direccion
Las primeras instrucciones de un programa han de ser las que indican los
tipos de datos que se van a utilizar. Cuando un nombre se utiliza para un
dato que no va a modificarse se trata de un a constante. Si por el contrario
se permite que el contenido de las posiciones de memoria referidas por un
determinado nombre varen durante la ejecucion del programa, se trata de
una variable.
Program Uno;
Const
39
CAPITULO 5. DATOS
40
PI = 3.14159;
UNIDADES = radianes ;
Var
n , m : Integer;
z
: Real;
Begin
. . . .
Este es un comienzo valido de programa en el que se especifican datos y

variables que se van a utilizar. La seccion donde se agrupan las definiciones
de constantes se encabeza con el indicativo Const, la seccion de variables con
Var, y ambas han de preceder el indicativo Begin que anuncia el comienzo
de las instrucciones del programa que van a manipular los datos. En el
apartado de constantes para asignar el valor se utiliza el operador = , en
lugar del operador normal de asignacion := .
5.2
Identificadores
Los nombres que se pueden utilizar para referirse tanto a las variables como
a las constantes son todos aquellos que no establezcan conflicto con las palabras reservadas en PASCAL para especificar datos o acciones. NO pueden
utilizarse:
Palabras reservadas
Begin
1.23E2
123
While
Cos
Palabras que empiecen por n

umeros
1YA
2ABC
Palabras en las que se encuentre alguno de los indicadores de operadores

PASCAL
x+y
precio/calidad
Palabras separadas por blancos.
signo*valor
5.3. TIPOS DE DATOS
41
Se pueden utilizar indistintamente may

usculas o min
usculas pero el compilador de PASCAL no las distinguira.
Son validos nombres como
a364b46
coco
xxx2
pero se deben utilizar nombre que tengan relacion con el dato que van a
contener. Por ejemplo,
angulo
lado
vertice
CaraOpuesta
Algunos compiladores de PASCAL solo admiten n

umeros y letras en la composicion del nombre de datos y variables. El TURBO PASCAL tambien
admite otros caracteres. Por ejemplo, permite
Cara_Opuesta
Nombre_Compuesto
En el ejemplo Uno podemos ver que el tipo de datos que van a contener
las constantes se especifica por los valores que se asignan.
Program Uno;
Const
PI = 3.14159;
UNIDADES = radianes ;
Var
n , m : Integer;
z
: Real;
Begin
. . . .
Sin embargo, el tipo de las variables ha de indicarse explcitamente con indicadores PASCAL tales como Integer, o Real. Estos se refieren a dos tipos
de datos numericos entre los posibles en PASCAL .
5.3
Tipos de datos
Los tipos de datos sencillos son:

1. Numericos.
N
umeros enteros:
CAPITULO 5. DATOS
42
Integer
Byte
ShortInt
Word
LongInt
N
umeros reales:
Real
Double
Single
Extended
2. Caracteres y alfanumericos.
Char
String
3. Valores de la logica de Boole
Boolean
Integer
Es el tipo de variable que se usa para n
umeros enteros ( sin parte
decimal ) con signo. Para una variable Integer se reservan dos bytes
(16 bits) en memoria y puede almacenar n
umeros enteros en el rango
entre
32, 768(215 )
+ 32, 767(215 1)
Es el tipo de variable utilizado normalmente para las operaciones aritmeticas

entre enteros.
LongInt
Para aquellos casos en los que es necesario utilizar enteros que exceden
el lmite aceptado por el tipo Integer, existe el tipo LongInt para el
que se reservan 4 bytes en memoria. Con una variable de tipo LongInt
se pueden referenciar n
umeros enteros con signo en el rango entre
2, 147, 483, 648(231 )
+ 2, 147, 483, 647(231 1) .
5.3. TIPOS DE DATOS
43
Word
En este tipo de datos se pueden almacenar enteros sin signo. Al igual
que para el tipo Integer, para el tipo Word se reservan 2 bytes en
memoria y puede admitir n
umeros enteros entre 0 y 65, 535.
Byte
En PASCAL es posible utilizar un tipo de dato llamado Byte, para el
que , como su nombre indica, solo se reserva 1 byte de memoria. En
las variables tipo Byte se pueden almacenar n
umeros enteros sin signo
y por tanto tendran que estar limitados entre 0 y 255(28 1).
Real.
Para almacenar n
umeros reales ( con parte decimal ) o enteros que
excedan el lmite permitido por LongInt , se ha de utilizar el tipo de
variable Real . A este tipo de datos tambien se le conoce con el nombre
de coma flotante por el uso que se hace de los 6 bytes que se reservan
en memoria para este tipo de datos. Con los 6 bytes y una forma de
representar el n
umero algo rebuscada que estudiaremos con los errores numericos, se pueden almacenar n
umeros entre 2, 91039 y 1, 71038
tanto positivos como negativos. Debido a la representacion interna
utilizada, se almacenan con igual precision (7 u 8 cifras significativas)
todos los n
umeros reales en el rango permitido.
Las operaciones con n
umeros en la representacion en coma flotante
son mucho mas lentas que entre n
umeros enteros representados directamente con su valor en base 2. Un coprocesador matematico (como
los 80X87) se dedica especficamente a estas operaciones. El TURBO
PASCAL permite una coleccion de datos para tratar eficientemente con
n
umeros reales cuando se dispone del coprocesador matematico. Cuando no se dispone de el, las operaciones se pueden emular por software
aunque son mas lentas. Esta coleccion de tipos de datos son:
Single
El tipo de datos Single es un Real mas corto (4 bytes) con el
mismo rango de variacion que el Real , pero con menos cifras
significativas.
Double
CAPITULO 5. DATOS
44
Se trata de un Real largo (8 bytes) que acepta n

umeros reales
308
308
entre 10
y 10 y opera con 15 o 16 cifras significativas.
Extended
Esta es la eleccion si el tiempo de calculo no es problema y prima
la precision. Se trata de un tipo de dato para el que se reservan
10 bytes en memoria y puede almacenar n
umeros reales desde
4932
4932
3.410
y 1.110 . Se pueden distinguir n
umeros que tienen
19 0 20 dgitos iguales.
Boolean
Los valores que puede tomar una variable logica, dentro de la logica
Booleana (George Boole, Inglaterra 1815 1864), son Verdadero o Falso. En PASCAL se suelen utilizar este tipo de variables para almacenar
el resultado comparaciones o el establecimiento de condiciones. Su dos
valores posibles son True y False.
Var
mayor , menor : Boolean;
{ ......
}
begin
{ ......
}
mayor := True;
menor := False;
{ ......
}
Char
Para un dato del tipo Char se reserva un solo byte de memoria. En
ese byte se puede almacenar informacion de un caracter alfanumerico.
Si bien en la memoria del ordenador se esta almacenando un n
umero
entero entre 0 y 255, este n
umero no puede entrar a formar parte de
operaciones aritmeticas con n
umeros enteros pues se entiende que se
trata de un caracter ASCII. El numero almacenado es el ordinal del
caracter en la tabla ASCII.
String
Cuando se quieren manipular grupos de caracteres ordenados, como
por ejemplo en texto, se dispone del tipo de datos String. En una
5.3. TIPOS DE DATOS
45
variable del tipo String se pueden almacenar entre 1 y 255 caracteres

de los que se almacenan en una variable var . Por tanto el numero de
bytes que se reservan para este tipo de datos dependera de caso y el
programador tendra que especificarlo.
En este ejemplo se puede ver como se realiza la especificacion:
Program Dos;
Const
Lugar = modulo;
Var
facultad : Char;
modulo , clase : String[6];
begin
{ ......
}
facultad := C;
modulo
:= -XVI;
clase
:= facultad + modulo;
writeln( Sera en el ,Lugar, ,clase);
{ .......
}
end.
El lugar que ocupa en memoria una variable String[N], no son N bytes,
sino N +1. Esto es debido a que en el primer byte se almacena el n
umero
actual de componentes. En el ejemplo anterior, el espacio reservado
para modulo se distribuye:
Los compiladores PASCAL no inicializan las variables al principio de la

ejecucion del programa, por lo que en los espacios de memoria reservados y no rellenados se puede encontrar cualquier tipo de informacion.
Si bien se necesita un byte de almacenamiento extra por String, el
procesamiento de estas cadenas de caracteres puede ser muy eficiente.
CAPITULO 5. DATOS
46
5.4
Constates con tipo
Cuando se quiere utilizar en un programa una variable pero su valor se quiere

asignar antes de cualquier operacion, se puede hacer uso de las Constates
con tipo. Se trata mas que de verdaderas constantes, de variables con
asignacion inicial de valor. El contenido en memoria de una constante con
tipo puede modificarse con las instrucciones del programa. Su sintaxis es
una mezcla de la asignacion de tipo de las variables y de la definicion de
constantes. El programa Tres produce el mismo resultado que Dos.
Program Tres;
Const
lugar : String[13] = modulo;
begin
{ ......
}
lugar := lugar + C+ -XVI;
writeln( Sera en el ,lugar);
{ .......
}
end.
5.5
Inicializaci
on de los datos
Dado que en PASCAL no se inicializan a cero , falso, o caracteres blancos, las

variables cuando se define su tipo, hay que tener precaucion de no utilizar el
contenido de posiciones de memoria reservadas y no asignadas. Una medida
tajante es inicializar todas las variables.
5.6
Asignaci
on de las constantes
Cuando se asigna el valor a una constante no se identifica explcitamente el

tipo de dato del que se trata. Esta identificacion se realiza por el contenido del
termino a la derecha del operador =. Tanto en la asignacion de constantes,
como en la de variables en el cuerpo del programa, el compilador decide el
espacio de memoria que ha de reservar para cada valor por el modo en que
esta escrito.
DE LOS DISTINTOS TIPOS DE VARIABLES

5.7. ASIGNACION
47
Const
lugar = modulo;
En este caso, lugar es una constante del tipo String por que le asigna un
valor que es un conjunto de caracteres separados por comas.
Const
facultad
= C;
Cuando entre comas se sit

ua un solo caracter, se trata del valor de una
constante Char . Tambien es sencillo reconocer los datos Boolean porque
se les asigna el indicador True o False . En el caso de los n
umeros, la
distincion se realiza entre enteros y reales. Para las constantes asignadas
con n
umeros reales, el compilador elige el tipo Real, y para los enteros el
Integer. La distincion entre n
umeros enteros y reales se hace por existencia
de punto decimal en el valor. Para los n
umeros reales existe tambien la
posibilidad de notacion cientfica.
Const
Pi = 3.14159;
PiMedios = 1570.8e-3;
PiGrados = 180 ;
El compilador PASCAL interpreta que PiGrados es una constante Integer
, y las otras dos constantes del tipo Real .
5.7
Asignaci
on de los distintos tipos de variables
En el cuerpo del programa se suelen asignar valores a variables. En este

caso, a partir de las instrucciones de la seccion destinada a la identificacion
del tipo de variables, se reserva el espacio adecuado de memoria para cada
variable. Por tanto, es importante que en el lado derecho del operador de
asignacion (:=) se encuentre un valor correspondiente al tipo de variable de
lado izquierdo.
Program Cuatro;
const
Calle = Paloma Blanca ;
CAPITULO 5. DATOS
48
Direccion = 11 ;
Puerta
= B ;
var
nombre : String[40];
numero : Integer;
letra : Char;
begin
{ Asignaciones incorrectas }
(* Asignaciones ilegales
{1} nombre := Direccion;
{2} numero := Calle;
{3} numero := Puerta;
{4} letra := Calle;
{5} letra := Direccion ;
{6} nombre := 98;
{7} numero := Paloma Negra ;
{8} numero := A ;
{9} letra := Paloma Negra ;
{10} letra := 97 ;
*)
(* Asignaciones legales *)
{11} nombre := Puerta;
{12} nombre := C;
{ Asignaciones
{13} nombre
{14} nombre
{15} numero
{16} numero
{17} letra
{18} letra
end.
correctas }
:= Calle;
:= Paloma Negra ;
:= Direccion;
:= 97;
:= Puerta;
:= A;
Las instrucciones {11} y {12} son incorrectas porque asignan a una variable
del tipo String una constante del tipo Char. No obstante, estas instrucciones no dan lugar a error en PASCAL porque el compilador interpreta las
variables Char como un subconjunto de las String (El espacio reservado en
DE LOS DISTINTOS TIPOS DE VARIABLES

5.7. ASIGNACION
49
memoria para un String acomoda perfectamente un Char ).

En el caso de valores numericos,
Program Cinco;
const
Doce = 12.0;
Once = 11;
var
i : Integer;
z : Real;
begin
{ Asignaciones incorrectas }
(* Asignaciones ilegales
{1} i := Doce ;
{2} i := 24 ;
*)
(* Asignaciones legales *)
{3} z := Once ;
{4} z := 22
;
{ Asignaciones correctas }
{5} i := Once ;
{6} i := 24 ;
{7} z := Doce ;
{8} z := 22. ;
end.
el compilador interpreta los Integer como un subconjunto de los Real.
Para los efectos sintacticos, cualquier valor numerico ( o dato alfanumerico)
en el cuerpo del programa se considera igual que situado en el lado derecho
en una asignacion de constante del tipo correspondiente.
50
CAPITULO 5. DATOS
Captulo 6
Intercambio b
asico de datos y
resultados
6.1
Dispositivos de entrada, salida y almacenamiento
La comunicacion entre el ordenador y el usuario se realiza a traves de los

dispositivos denominados de entradasalida (E/S , I/O). Todo programa de
ordenador se comunica con el exterior. Algunas veces la comunicacion se
realiza directamente con el usuario a traves del teclado y el terminal TRC.
Otras, se utilizan intermediarios como son los dispositivos de almacenamiento
de informacion (discos, diskettes,...). En este u
ltimo caso, el programa lee los
datos del archivo donde se guardan y tambien puede escribir los resultados
en el archivo que se halla indicado para el almacenamiento.
Para cada problema concreto habra un modo optimo de comunicacion
con el ordenador.
En aquellos casos en los que se utilicen exclusivamente dispositivos de
almacenamiento intermedio de informacion, se estara descartando la posibilidad de un proceso interactivo, es decir, la posibilidad de que el usuario
pueda utilizar la informacion generada por el ordenador para proporcionar
nuevos datos.
En este tema, se veran los modos basicos de intercambio de informacion
con el ordenador, dirigido desde un Programa PASCAL . Supondremos que
los dispositivos que se utilizan para entrada y salida de datos son el teclado y el terminal TRC, respectivamente. En muchos sistemas operativos el
51
52
CAPITULO 6. ENTRADA Y SALIDA
redireccionamiento necesario para utilizar archivos es trivial.

Las instrucciones de E/S se especifican dentro del cuerpo principal del
Programa PASCAL . Se trata de una accion que permite transmitir informacion desde el exterior a la memoria del ordenador, y viceversa. Obviamente,
el resultado de una instruccion de salida depende del contenido de la memoria
del ordenador en ese instante.
6.2
Las funciones Read y Write
Para la entrada de datos, PASCAL dispone del procedimiento basico Read(),

y para la salida de Write().
{1}
{2}
{3}
Program Uno;
{ Cuadrado de un numero entero }
Var
base , resultado : integer;
Begin
Read(base);
resultado := base * base;
Write(resultado);
End.
La instruccion {1} del programa Uno asigna a la variable base el valor

entero suministrado por el usuario. La introduccion del dato se puede realizar tecleando el n
umero deseado y pulsando despues la tecla de retorno
de carro. El procedimiento Read(argumento) asigna a la variable argumento el conjunto de caracteres que se teclean antes del retorno de carro,
convenientemente interpretados de acuerdo con el tipo de dato de la variable
argumento.
La instruccion {3} escribe en la pantalla del terminal el resultado de
elevar al cuadrado el dato.
Si se teclea el n
umero 93, se obtiene en pantalla 8649, pero si se teclea
93.0 el programa emitira un mensaje de error. Esto es debido a que el
procedimiento Read incluye una verificacion de que el dato suministrado
corresponde al tipo de dato definido para la variable.
El modo en que se han de suministrar los datos al programa para que
sean aceptados por el procedimiento Read() es muy parecido al modo en
6.2. LAS FUNCIONES READ Y WRITE
53
que se han de asignar los valores de las constantes dentro de un Programa

PASCAL . De hecho, es igual salvo dos excepciones:
Los datos de las variables Char y String NO deben ir entre comillas
( ).
Los valores de variables Boolean no pueden leerse.
Tanto Read() como Write() admiten m
ultiples argumentos, separados
por comas.
{1}
{2}
{3}
Program Dos;
Var
resultado, base , altura : Integer;
Begin
Read(base,altura);
resultado := base * altura;
Write(Area del cuadrado: ,resultado);
End.
La instruccion {1} del programa Dos lee dos n

umeros enteros que asigna a
la variable base (el primero), y a altura (el segundo).
El modo en el que el usuario puede teclear los datos de entrada es bastante flexible. Por ejemplo en este caso, dado que son dos n
umeros enteros,
Read interpretara un entero como una secuencia de caracteres sin ning
un
blanco intermedio. Supongamos que los datos son los n
umeros 27 y 31. La
secuencia de caracteres que teclea el usuario puede ser:
El procedimiento Read() interpreta los caracteres hasta el primer blanco

como integrantes del valor que se desea asignar al Integer base. Al segundo
argumento se asignara la cadena de caracteres que antecedan al siguiente
blanco o caracter de control < CR >. Una vez finalizada la ejecucion de la
instruccion {1} estaran almacenados los valores 27 y 31 en las posiciones
de memoria asignadas a las variables base y altura, respectivamente.
El procedimiento Read() espera que se tecleen suficientes caracteres para
poder asignar valores a los argumentos de Read, y los caracteres de control
< CR > que se tecleen antes de cumplirse esta condicion son irrelevantes. Por
54
tanto, cualquiera de las dos secuencias siguientes de teclado son equivalentes

a la discutida antes.
El procedimiento Write escribe en el dispositivo de salida el contenido

de las constantes o las variables que se encuentran en el argumento.
Area del cuadrado : es una constante del tipo String cuyo valor
es la ordenacion de los 19 caracteres entre las comillas .
resultado es una variable Integer, y el procedimiento Write() escribe su valor: 837.
La salida del programa Dos es :
Area del cuadrado: 837
Entre ambos valores el procedimiento Write() no escribe nada, y el entero,
el TURBO PASCAL lo escribe a partir de la primera cifra significativa. Otros
compiladores de PASCAL pueden hacerlo dejando alg
un blanco a la izquierda
de la primera cifra significativa.
6.3
Formatos
En un principio es deseable controlar exactamente el modo en el que se

escribe el valor de las variables en el dispositivo de salida. Esto puede hacerse especificando el formato de escritura. En PASCAL cualquier variable o
constante que se incluya en el argumento del procedimiento Write() puede
acompa
narse de una especificacion del formato de salida del siguiente modo:
nombre:n:m
donde nombre es el indicativo de la variable o constante, n es el n
umero de
espacios que ha de ocupar cuando se muestra, y m el n
umero de espacios
6.4. LAS FUNCIONES WRITELN Y READLN
55
que han de ocupar la parte decimal (despues del punto) cuando el tipo de
variable o constante lo permita.
Por ejemplo,
Program Tres;
var
Begin
{1}
Read(base,altura);
{2}
{3}
Write(Area del triangulo: :40,resultado:6);
end.
dara como resultado
Area del triangulo:
837
Los espacios que no ocupan el contenido de la variable o constante, se sit

uan
a la izquierda. En el caso de tratarse de n
umeros reales, si no se especifica el
n
umero de cifras decimales, se toma por defecto la notacion cientfica. Estos
son algunos ejemplos de escritura de un n
umero real:
Write(102030.40:8 )
Write(102030.40:10)
Write(102030.40:12)
Write(102030.40:14)
Write(102030.40:8:1)
Write(102030.40:10:1)
Write(102030.40:14:2)
6.4
1.0E+0005
1.0E+0005
1.020E+0005
1.02030E+0005
102030.4
102030.4
102030.40
Las funciones WriteLn y ReadLn
La forma que toma la representacion de la salida externa de un Programa

PASCAL depende tambien de la ordenacion en el sentido vertical. El caracter
de control < EOL > ( fin de lnea ) gobierna lo que sera el salto de carro
de una impresora. El PASCAL dispone del procedimiento Writeln() que es
equivalente al Write() salvo que despues de escribir los argumentos tambien
escribe la secuencia de control < EOL >. As, la salida del programa Cuatro
56
Program Cuatro;
var
Begin
{1}
Read(base,altura);
{2}
{3}
Writeln( Resultado del calculo.);
{4}
Writeln(Area del triangulo: :40,resultado:6);
end.
para los mismos datos suministrados al programa Tres sera:
Resultado del calculo.
Area del triangulo:
837
Equivalentemente, existe el procedimiento Readln() que lee el valor de sus

argumentos siempre y cuando no encuentre la secuencia de control < EOL >.
Al programa Cinco se han de introducir los datos de modo distinto que
al Cuatro. Si se utiliza el teclado, hay que teclear el caracter de control
< CR > entre los dos n
umeros, puesto que < CR > act
ua tambien como
indicador de fin de linea.
Program Cinco;
var
Begin
{1}
Readln(base);
{2}
Readln(altura);
{3}
{4}
Writeln( Resultado del calculo.);
{5}
Writeln(Area del triangulo: :40,resultado:6);
end.
En un archivo, los saltos de carro estan codificados con el caracter ASCII
correspondiente a la secuencia de control < EOL >.
Por ejemplo, un archivo que se imprime o aparece en pantalla del siguiente
modo:
Para vivir no quiero
islas, palacios, torres.
6.4. LAS FUNCIONES WRITELN Y READLN
57
esta almacenado como:

Para vivir no quiero<EOL>islas, palacios, torres.<EOF>
donde < EOF > es la secuencia de control fin de fichero. El dispositivo
de salida pertinente se encargara de que aparezcan los dos versos en lneas
distintas.
El procedimiento Readln() utiliza < EOL > como delimitador de su
ambito de lectura y lee los argumentos entre los caracteres que se encuentran
entre dos < EOL >. Por ejemplo, el resultado del programa Cinco, cuando
lee del fichero
3
4
es:
Area del triangulo:
12
mientras que si el fichero de entrada es:

3
5
la salida sera:
Area del triangulo:
15
porque la instruccion {1} lee el 3 y omite el 4. La instruccion {2} lee el 5.
58
Captulo 7
Acciones
7.1
Operaciones b
asicas.
Una vez conocidos los modos basicos que existen en PASCAL para almacenar
datos en la memoria del ordenador y conocido el modo basico de comunicacion con el usuario del programa, pasamos a estudiar que operaciones se
pueden realizar con los datos.
7.1.1
Operadores aritm
eticos y expresiones aritm
eticas.
Cuando los datos con los que se realizan operaciones son n

umeros, lo mas
com
un es realizar operaciones aritmeticas : suma, resta, multiplicacion, y
division. En PASCAL estas operaciones se especifican con los operadores +
, , * , y / , respectivamente.
Las instrucciones,
a:=
b:=
b:=
c:=
3. + 5.;
a - 2.;
b * a * 6.;
-b / 12.;
son ejemplos de la utilizacion de los operadores. En el caso mas sencillo

de asignacion con dos operandos solamente, no hay ambig
uedad y con este
59
CAPITULO 7. ACCIONES
60
formato de instruccion,
variable1 := operando1
operando2;
se asigna a la variable variable1 el resultado de la operacion aritmetica correspondiente con las convenciones usuales de la aritmetica. Tanto operando1
como operando2, pueden ser constantes o variables. Cuando se desea operar
con mas de dos datos hay que especificar claramente y sin ambig
uedad el
orden en que se quieren realizar las operaciones. Para ello, podemos ayudarnos de los parentesis con el mismo fin con el que se usan en las expresiones
aritmeticas. Por ejemplo, la siguiente instruccion
b:= ( -37.0 * (a - 2.) ) / (a + 5.);
carece de ambig
uedad. No obstante, el PASCAL tiene una prioridad establecida para el orden de las operaciones:
1. mas y menos monarios.
2. parentesis.
3. multiplicacion y division.
4. suma y resta.
Las siguientes instrucciones son equivalentes:
b:= -27.0 * c + 35. / a + b + c;
b:= ( (-27.0) * c ) + ( 35. / a ) + b + c ;
b:= ( -27.0 * c ) + ( 35. / a ) + b + c ;
y la forma concreta en la que el programador debe escribirla es aquella que
resulte menos confusa. Un error com
un entre principiantes es escribir la
instruccion {i} queriendo escribir la {ii} :
{i}
{ii}
{iii}
b:= a * 27.0 / b + c ;
b:= a * 27.0 / ( b + c ) ;
b:= ( a * 27.0 / b ) + c ;

7.1. OPERACIONES BASICAS.
7.1.2
61
Funciones aritm
eticas.
En PASCAL estan definidas funciones que permiten realizar calculos matematicos muy frecuentes u operaciones numericas muy u
tiles para transformar expresiones aritmeticas en sentencias PASCAL . En PASCAL las
funciones son llamadas a procedimientos de calculo que devuelven un valor.
Si aparecen en una expresion aritmetica, las operacion se realiza con el resultado de evaluar la funcion. Si suponemos que se utiliza la funcion para una
asignacion,
y :=
F ( x ) ;
los tipos de datos que admiten como argumento, x, los tipos de datos que
proporcionan, y, y las funciones que realizan son:
F(x)
x
y
Abs ( x )
Real o Integer igual que x
Valor absoluto
Arctan ( x ) Real o Integer
Real
Arco tangente
Cos ( x )
Real o Integer
Real
Coseno
Exp ( x )
Real o Integer
Real
Exponenciacion ( ex )
Frac ( x )
Real o Integer
Real
La parte decimal de x
Int ( x )
Real o Integer
Real
La parte entera de x
Ln ( x )
Real o Integer
Real
Logaritmo neperiano
Pred ( x )
Integer
Integer
x1
Random
Real
N
umero aleatorio, y[0, 1]
Random(x)
Integer
Integer
N
umero aleatorio, y[0, x]
Round ( x )
Real
Integer
x redondeado al entero mas cercano
Sin ( x )
Real o Integer
Real
Seno
Sqr ( x )
Real o Integer
Real
Exponenciacion
( x2 )
Sqrt( x )
Real o Integer
Real
x
Succ ( x )
Integer
Integer
x+1
Trunc ( x )
Real
Integer
x con la parte decimal eliminada
Las funciones trigonometricas que no estan incluidas, se calculan facilmente
a partir estas. Por ejemplo,
tan1 := Sin(x) / Cos(x);
a := Sin(x);
tan2 := a / Sqrt ( 1.0 - a * a ) ;
62
7.1.3
Aritm
etica entera y real.
El PASCAL realiza una comprobacion escrupulosa del tipo de los datos en

general, y en particular en el procesamiento de las expresiones aritmeticas.
Cuando se programan estas expresiones hay que verificar que se mezclan
coherentemente datos reales y enteros.
PASCAL considera Integer el resultado de una expresion aritmetica
siempre que en la expresion aparezcan solo datos de este tipo y no este
implicada una division. El el programa Uno,
Program Uno;
Var
i,j : Integer;
z : Real;
Begin
{1}
j := 8;
(*
{2}
i := j / 4;
Expresion aritmetica invalida
*)
{3}
z := j / 4;
{4}
Writeln(z:4:2);
end.
la instruccion {2} es incorrecta, si bien la salida es 2.00 . Por defecto, el
resultado de una expresion aritmetica que no es Integer , es Real . Basta
que haya un solo operando Real o un operador division en una expresion
para que el dato que resulte de la operacion sea real y que toda la expresion
se eval
ue como si todos sus componentes fueran reales.
Cuando se trata de hacer aritmetica de n
umeros enteros hay que llevar
mucho cuidado con el lmite de capacidad del tipo de dato que se utilice.
Algunas veces, no es trivial. La salida del programa Dos ,
Program Dos;
Var
i,j :
z
:
Begin
{1}
{2}
Integer;
Real;
j := 2333;
i := j * 23;

{3}
(*
{4}
*)
{5}
{6}
{7}
{8}
{9}
{10}
end.
63
Writeln(i:9);
i := 2333 * 23;
Expresion aritmetica invalida
z := j * 23;
Writeln(z:9:0);
z := 1.0 * j * 23 ;
Writeln(z:9:0);
z := 2333 * 23;
Writeln(z:9:0);
es:
-11877
-11877
53659
53659
La instruccion {2} es aparentemente correcta, pero como el resultado de
la multiplicacion excede la capacidad de un Integer (32767), el resultado
de la operacion es un n
umero entero, pero absurdo. Sin embargo, la {4} es
claramente incorrecta y el compilador PASCAL lo detecta al intentar almacenar en el lugar de memoria reservado para i el producto, en vez de generar
el codigo para realizar la multiplicacion durante la ejecucion.
La {5} es solo aparentemente correcta, puesto que es similar a la {2}. Si
bien el resultado de la operacion se quiere almacenar en una variable Real , el
compilador interpreta que la expresion aritmetica se puede realizar con datos
enteros y genera codigo tal que los resultados intermedios se almacenaran en
registros de 2 bytes. El resultado : un desastre, el dato que se almacena
finalmente en la variable real es identico al anterior. Sin embargo, si en la
expresion se incluye cualquier operando Real , el compilador asume que se
trata de una operacion que ha de realizarse con aritmetica real, y utilizara
registros apropiados para esa aritmetica. La instruccion {7} es correcta, y
solo difiere de la {5} en la multiplicacion por 1.0, algo matematicamente
irrelevante pero no computacionalmente. Hay que tener siempre presente
que el modo con el que se van a realizar las operaciones de una expresion
64
aritmetica no esta determinado por el lado izquierdo de la asignacion ( el

tipo de dato que acepta la variable), sino por los operandos.
Cuando aparecen constantes numericas en una expresion aritmetica en la
que se quiere realizar un calculo con n
umeros reales, es aconsejable no olvidar
el punto que lo identifica como constante real. Si i es una variable Integer
el resultado de estas dos expresiones sera distinto para i > 9.
z := 3600 * i ;
z := 3600. * i ;
Cuando se quieren realizar divisiones respetando la aritmetica de enteros
hay que utilizar el operando Div. El resultado de
j
Div
es j/i cuando j es m
ultiplo de i, y la parte de entera de j/i en el caso
contrario.
En el programa Tres ,
Program Tres;
Var
i,j,k : Integer;
Begin
{1}
i := 11; j := 6;
{2}
k :=10 * ( (i+j) Div j );
{3}
Writeln(k:9);
{4}
k := 10 * Trunc ( (i+j) / j );
{5}
Writeln(k:9);
{6}
k := Trunc (10* ( (i+j) / j ) );
{7}
Writeln(k:9);
end.
las instrucciones {2} y {4} generan el mismo resultado, pero distinto al de la
{6}. La expresion aritmetica en {6} es el argumento de la funcion Trunc()
y la presencia del operador / indica que se ha de realizar aritmetica de
n
umeros reales.
Cuando se quieren utilizar datos Real en expresiones con aritmetica de
n
umeros enteros, lo mas apropiado es utilizar la funciones de transformacion
de tipo, Round() o Trunc() , para homogeneizar el tipo de los operandos.

65
Existe otro operador especfico de n

umeros enteros que es el operador
mod y proporciona el resto de la division entera. El resultado de
j
M od i
es 0 cuando j es m
ultiplo de i, y el resto de la division j/i en el caso contrario.
Program Cuatro;
Var
i,j,k,m : Integer;
Begin
{1}
i := 11; j := 6;
{2}
k :=j mod i;
{3}
Writeln(k:9);
{4}
m := j * (i mod j) + k;
{5}
Writeln(i:9, ,m:9);
end.
La salida del programa Cuatro es:
2
14
14
dado que en la instruccion {4} se recupera para m el valor original de i .
7.1.4
Operadores l
ogicos.
Los operadores logicos que proporciona el PASCAL son de dos tipos:

1. Operadores que actuando sobre datos no-Boolean proporcionando un
dato Boolean.
2. Operadores que actuando sobre datos Boolean proporcionan un dato
Boolean.
El primero de estos tipos es muy u
til para tomar decisiones como resultado
de la comparacion de variables. La forma general en la que aparecen estos
66
operadores es:
<>
>
<
<=
>=
donde a y b pueden ser n

umeros reales , enteros o caracteres, mientras que
el resultado de la operacion es un dato Boolean (FALSE o TRUE ). La resstriccion obvia es que a y b han de ser constantes o variables del mismo
tipo.
El resultado de la operacion sera TRUE en los siguientes casos:
Operador Condicion
=
a=b
<>
a 6= b
>
a>b
<
a<b
<=
ab
>=
ab
En el caso de que de que a y b sean caracteres, las operaciones de comparacion
se realizan sobre el valor entero del caracter ASCII correspondiente.
Ejemplos de utilizacion de estos operadores son:
Program Cinco;
Var
quizas
: Boolean;
letra
: Char;
i,j
: Integer;
a,tan1,tan2,x
: Real;
Begin
{1}
i := -11; j := 6; letra := h; x:= 1.3;
{2}
quizas := i > j;
{3}
Writeln(quizas);
(* FALSE *)
{4}
quizas := k <= letra ;
{5}
Writeln(quizas);
(* FALSE *)
{6}
tan1 := Sin(x) / Cos(x);

{7}
{8}
{10}
{11}
end.
67
a := Sin(x);
tan2 := a / Sqrt ( 1.0 - a * a ) ;
quizas := ( tan1 = tan2 );
Writeln(quizas);
(* FALSE *)
Merece la pena recordar una vez mas que no se pueden trasladar directamente las expresiones matematicas a las sentencias de un programa. Por
ejemplo, en la instruccion {10} se asigna a quiz
as el valor FALSE , si bien
las expresiones utilizadas en las instrucciones {6} y {8} para calcular la
tangente son matematicamente equivalentes. Debido a la utilizacion de una
representacion finita de los n
umeros reales ambos valores seran ligeramente
distintos. La comparacion para averiguar la similitud de n
umeros reales se
suele hacer utilizando la diferencia relativa:
quizas :=
Abs ( (tan1 - tan2) / tan1 )
<=
0.000001;
Con el segundo tipo de operadores logicos se pueden combinar datos Boolean

para realizar operaciones logicas complejas. Uno de ellos es monario y se
utiliza seg
un la forma general:
Not
operando
donde tanto operando como el resultado de la operacion son datos del tipo
Boolean. El resultado, es la negacion del operando:
a
Not a
True False
False True
El resto de los operadores se utilizan seg
un la forma:
A
And
Or
Xor
donde A y B son variables Boolean.

Las tablas de verdad son las habituales:
68
True False
False True
False False
True True
True False
False True
True True
False False
True False
False True
True True
False False
7.1.5
A And B
False
False
False
True
A Or B
True
True
True
False
A Xor B
True
True
False
False
Expresiones l
ogicas.
Denominamos Expresiones logicas a las operaciones que se realizan con datos Boolean. Estas operaciones pueden encadenarse de un modo bastante
complejo. Un ejemplo de utilizacion de estas expresiones es el siguiente:
Supongamos que tenemos que escribir un programa para determinar si
un punto se encuentra en la interseccion de dos rectangulos,

69
y tambien queremos saber si forma parte de la frontera que la delimita. El

programa Seis proporciona la respuesta utilizando expresiones logicas:
Program Seis;
Const
(* Coordenadas cartesianas que definen los rect
angulos *)
xa1 = 2; ya1 = 2; { Esquina inferior de A }
xa2 = 7; ya2 = 6; { Esquina superior de A }
xb1 = 5; yb1 = 4; { Esquina inferior de B }
xb2 = 10; yb2 = 8; { Esquina superior de B }
var
dentro1, dentro2, dentrox , dentroy , frontera : Boolean;
puntox,puntoy : Integer;
Begin
{1}
Readln(puntox , puntoy); {Coordenadas del punto problema}
(* Sin considerar la frontera *)
{2}
dentrox := ( puntox > xb1 ) And (puntox < xa2);
{3}
dentroy := ( puntoy > yb1 ) And (puntoy < ya2);
{4}
dentro1 := dentrox And dentroy;
{5}
Writeln( Si no se considera el borde : ,dentro1);
(* Considerando la frontera *)
{6}
dentro2 := ( puntox >= xb1 ) And (puntox <= xa2) And
70
{7}
{8}
{9}
end.
( puntoy >= yb1 ) And (puntoy <= ya2);

Writeln( Si se considera el borde :
,dentro2);
(* Condicion de frontera *)
frontera := dentro2 And ( Not dentro1);
Writeln( Frontera: ,frontera);
Las instrucciones {2} y {3} se podran haber condensado en una sola instruccion similar a la {6}.
Cuando en una expresion se combinan operadores logicos y aritmeticos
hay que utilizar generosamente los parentesis o llevar mucho cuidado con el
orden de prioridad establecido por el PASCAL para la aplicacion de operadores:
Los operadores aritmeticos se aplican siempre antes que los logicos.
Por ejemplo, la expresion
(37 * 4
> 5 * 24) And
Not (65 < 2 * 31)
se eval
ua a True y los parentesis son estrictamente necesarios. De no existir
el primer juego de parentesis el operador And tendra a su izquierda un dato
Integer y a su derecha un dato Boolean, lo que es incorrecto. De no
existir el segundo juego de parentesis habra tambien una disparidad de tipos
de datos algo mas compleja que se analizara mas adelante.
Como en el caso de los operadores aritmeticos, en los logicos tambien los
monarios se aplican primero, y en esta expresion el operador Not se aplica
antes que el And.
El uso generoso de los parentesis en las expresiones que mezclan operadores logicos y aritmeticos esta recomendado por otra razon mas:
Los operadores And, Or , y Xor pueden ser aritmeticos o logicos
seg
un el tipo de operandos sobre los que act
uen.
Esto es as porque como veremos a continuacion tambien estan pensados para
realizar manipulacion de bits.
7.1.6
Manipulaci
on de bits.
Existen operadores en PASCAL que permiten modificar directamente los

bits que componen los datos enteros. Estos datos estan almacenados en la

71
memoria del ordenador con su valor binario, y los operadores de manipulacion

de bits permiten al programador modificar directamente los componentes de
la representacion binaria.
En una expresion
And
Or
Xor
donde A y B son datos enteros ( tipo Integer, Byte, ShortInt, Word

y LongInt ), los operadores And, Or y Xor, act
uan como operadores
aritmeticos. El resultado de la operacion es otro dato entero que se obtiene
realizando la operacion logica correspondiente entre cada uno de los bits de
los datos, considerando el 1 como verdadero y el 0 como falso.
Un dato Byte esta representado en memoria por 8 bits correspondientes
a la representacion binaria del n
umero estando el bit mas significativo a la
izquierda. Por ejemplo, la representacion interna del dato Byte 77 es:
0
y la del dato Byte 62 es :

0
La operacion And entre estos dos datos da como resultado el dato Byte :
0
cuyo valor decimal es 12. Si sobre los datos originales se realiza la operacion
Or el resultado es:
0
cuyo valor decimal es 127, y si se realiza la operacion Xor el resultado es:

0
72
cuyo valor decimal es 115. Estas tres operaciones son las que se realizan en
el programa Siete :
Program Siete;
Var
a , b , c: Byte;
Begin
a := 77;
b := 62;
c := a And b;
Writeln(c);
c := a Or b;
Writeln(c);
c := a Xor b;
Writeln(c);
End.
Existen otros dos operadores de manipulacion de bits : Shl (Shift left) y
Shr (Shift right). El resultado de
(
Shl
Shr
donde A y n son enteros, es otro entero que resulta de desplazar n bits de A

hacia la izquierda (Shl ) o hacia la derecha (Shr ). Los bits que se introducen
en el desplazamiento son nulos. Por ejemplo, si el dato A es,
a1
a2
a3
a4
a5
a6
a7
a8
B, el resultado de
B :=
A Shl 3;
es,
a4
a5
a6
a7
a8
y, C, el resultado de
C :=
B Shr 7;

73
es,
0
a4
Como resultado de la concatenacion de estas dos operaciones hemos obtenido

un entero cuyo valor es el del quinto bit, empezando por la derecha del entero
original.
El programa Ocho escribe un 1 si el numero que recibe (un entero entre
0 y 255) es impar, y cero de lo contrario:
Program Ocho;
Var
a , b , c: Byte;
Begin
Readln(a);
b := a Shl 7;
c := b Shr 7;
Writeln(c);
End.
En el caso de los datos Integer ( 2 bytes), que permiten almacenar
n
umeros enteros con signo, el valor esta almacenado en memoria de un modo
mas complejo. El bit mas a la izquierda de todo almacena el signo: 1 si es
negativo y 0 de lo contrario. El valor del entero esta almacenado en los 15
bits restantes del modo siguiente:
Positivos: El valor binario del entero con el bit menos significativo a la
derecha.
Negativos: Igual que si fuera positivo pero considerando el valor que
resulta de sumar al entero 32768.
Por ejemplo, -32768 se almacena como:
1000000000000000
y -1 como:
1111111111111111
mientras que 1 se almacena como
0000000000000001
74
y el 32767 como
0111111111111111.
7.2
Sentencias de control.
La mayora de los procedimientos que podemos dise

nar para resolver problemas incluyen la eleccion de uno entre los casos posibles en funcion del valor
particular de alguno de los datos. Las sentencias de control en PASCAL son
la condicional simple If y la condicional m
ultiple Case.
La sentencia de control simple tiene la siguiente sintaxis:
If datoBoolean
Then
accion1
o bien,
If datoBoolean
Then
accion1
Else
accion2
donde datoBoolean es una variable Boolean o una operacion cuyo resultado
es una dato Boolean, accion1 y accion2 son instrucciones PASCAL que
pueden ser tanto simples como compuestas.
El efecto de esta sentencia de control es el siguiente: si datoBoolean es
True se procede a realizar la instruccion accion1; en el caso de que sea False
y este presente la parte Else, se procede a realizar la instruccion accion2.
En el primero de los casos el esquema de la bifurcacion sera:
7.2. SENTENCIAS DE CONTROL.
75
Boolean
?
HH

? H
b
b ""
b"
Cierto?
accion1
Falso

?
Continuar
y en el segundo caso, cuando esta presente la parte Else de la estructura:

Boolean
?
a
a
"

H
H?
?
accion2
accion1
Continuar
?
En el programa Nueve tenemos un ejemplo de utilizacion de esta construccion. Ambas son equivalentes: en la primera se realiza la comparacion en la
construccion If, mientras que en la segunda se utiliza una variable Boolean
auxiliar.
Program Nueve;
Var
positivo : Boolean;
n : Integer;
Begin
Readln (n);
If n >= 0
76
Then
Writeln( Se trata
Else
Writeln( Se trata
positivo := ( n >= 0 ) ;
If positivo
Then
Writeln( Se trata
Else
Writeln( Se trata
de un numero positivo )
de un numero negativo );
de un numero positivo )
de un numero negativo );
End.
Las acciones que se ejecutan despues de la comprobacion del dato Boolean
pueden ser instrucciones sencillas o compuestas. En el programa Diez podemos ver un ejemplo de utilizacion con una instruccion compuesta:
Program Diez;
Var
x , y : Real;
Begin { Diez }
{ Programa que calcula la raiz cuadrada de un numero }
Writeln( Calculo de la raiz cuadrada. Escriba el numero);
Readln(x);
If x > 0.0 then
begin
Writeln( Raiz cuadrada: );
y := Sqrt(x);
Write(y)
end
Else
Writeln( Numero negativo.);
End. { Diez }
Con esta estructura If ... Then ... Else tambien se pueden realizar decisiones m
ultiples. Un modo muy frecuente de utilizacion es la encadenacion
de estructuras de la forma:
7.2. SENTENCIAS DE CONTROL.
77
If datoBoolean1
Then
accion1
Else
If datoBoolean2
Then
accion2
. . .
En el programa Once se utiliza una concatenacion de estructuras para realizar una eleccion m
ultiple.
Program Once;
Var
n : Integer;
Begin { Once}
{ Programa que reescribe con letras un numero del 1 al 5 }
Writeln( Teclear un numero del 1 al 5);
Readln(n);
If n = 1 then
Writeln( Uno )
Else If n = 2 Then
Writeln( Dos )
Else If n = 3 Then
Writeln( Tres )
Else If n = 4 Then
Writeln( Cuatro )
Else If n = 5 Then
Writeln( Cinco )
Else
Writeln( Numero fuera de rango);
End. { Once }
Este tipo de bifurcacion m
ultiple puede llegar a ser difcil de leer y el
PASCAL proporciona una estructura mas legible para aquellos casos en los
que la bifurcacion m
ultiple se realiza mediante comparacion de datos sencillos
ordinales (por tanto ni Real, ni String). Esta es la estructura Case que
tiene la siguiente sintaxis:
78
Case variable Of
caso1 : accion1
caso2 : accion2
. . .
End;
o bien,
Case identificador Of
caso1 : accion1
caso2 : accion2
. . .
Else
acciond
End;
donde identificador es una variable del tipo Integer, Byte, o Char, las
acciones accion1,... son instrucciones sencillas o compuestas, y los casos
caso1, ... son la especificacion de los valores. Esta especificacion se puede
hacer separando valores con comas o bien mediante el rango, si se trata de
valores consecutivos. Un rango se especifica mediante el valor inicial y final
separados por dos puntos. El programa Doce es equivalente al Once pero
mucho mas legible y eficiente.
Program Doce;
Var
n : Integer;
Begin { Doce}
{ Programa que reescribe con letras un numero del 1 al 5 }
Writeln( Teclear un numero del 1 al 5);
Readln(n);
Case n
1 :
2 :
3 :
4 :
5 :
Else
Of
Writeln(
Writeln(
Writeln(
Writeln(
Writeln(
Uno );
Dos );
Tres );
Cuatro );
Cinco );

7.3. SENTENCIAS DE REPETICION.
79
Writeln( Numero fuera de rango);

End;
End. { Doce }
Un uso mas complejo de la estructura Case se puede ver en el siguiente
ejemplo:
Program Trece;
Var
c : Char;
n : Byte;
Begin { Trece}
{ Programa que identifica un caracter }
Writeln( Teclear el caracter);
Readln(c);
Case c Of
a..z, A..Z :
Writeln(Letra);
0..9
:
Writeln(Numero);
*,/,+,-
:
Writeln(Operador aritmetico);
>,<,=
:
Writeln(Operador logico);
Else
Begin
n := Ord(c);
Writeln(Simbolo ASCII ,n)
end;
End;
End. { Trece }
donde la funcion intrnseca del PASCAL Ord() es una funcion que devuelve
el valor ordinal de cualquier argumento escalar, incluyendo los Char.
7.3
Sentencias de repetici
on.
Hay quien opina que la programacion es una actividad que nunca puede resultar tediosa o repetitiva, ya que todo aquello que ha de hacerse repetidamente
80
puede programarse en una instruccion simple para que sea el ordenador quien
lo haga repetidas veces. De hecho, las sentencias de repeticion son generalmente las responsables de la utilidad del ordenador. Se trata de instrucciones
que gobiernan la realizacion de tareas repetitivas mientras no sea cierta la
condicion que se imponga para la finalizacion.
En PASCAL existen tres estructuras de repeticion que son las construcciones For Do, Repeat Until, y While Do.
La primera de ellas, la construccion For Do, tiene la siguiente sintaxis:
For identificador := principio To final Do
accion
donde identificador es una variable que puede almacenar un dato ordinal,
principio es el valor que se le asigna a esa variable antes de realizar la accion,
final es el valor maximo que puede alcanzar la variable antes de finalizar la
accion, y accion es la instruccion, simple o compuesta, del PASCAL que se
repetira incrementando en uno cada vez el valor de identificador. Si se trata
de una sentencia compuesta, tendra que utilizarse la estructura Begin-End
para identificar el principio y el fin.
Existe tambien la opcion equivalente
For identificador := principio Downto final Do
accion
en la que el valor del identificador se decrementa en uno cada vez que se
realiza la accion.
En el programa Catorce tenemos la aplicacion de esta estructura para
el calculo del factorial.
Program Catorce;
Var
z : Real;
n ,i : Integer;
Begin
Writeln(Calculo del factorial (introducir el numero));
Readln(z);
n := Round(z);
If n > 33

81
Then
Writeln( Solo se puede calcular hasta 33!)
Else
Begin
z := 1.;
For i:=1 to n do
z:= z * i;
Writeln(El Factorial de ,n:2, es : );
Writeln(z:40:0)
End;
End.
La limitacion basica de la estructura For-Do es que la accion que implcitamente
se realiza cada vez es simplemente el aumento o decremento de una variable ordinal. No obstante, hay que tener presente que variables ordinales no
son solamente los Integer. En el programa Quince vemos como se puede
utilizar la estructura con una variable Char.
Program Quince;
Var
i : Char;
Begin
(* Programa que escribe el alfabeto al reves *)
Writeln();
For i:=Z Downto A do
Write( ,i);
End.
La variable que se utiliza como contador en la estructura For-Do puede
modificarse tambien en la accion que se repite, pero hay que ser extremadamente cuidadoso porque de lo contrario podemos generar un bucle infinito.
Si en el siguiente programa no se realizara la modificacion a un m
ultiplo de
tres, se podra caer en un bucle infinito (con probabilidad 0.33333).
Program Dieciseis;
Var
82
i,n : Integer;
Begin
Writeln(Escribo los numeros de dos en dos);
Writeln(Empezando en 1 y acabando en ?);
Readln(n);
n := n - (n Mod 3) ;
For i:=1 to n do
Begin
Writeln(i);
i := i +2
End;
End.
Aceptando que el programa anterior es siempre correcto, es facil deducir
si la comprobacion sobre el estado del ndice se realiza antes o despues de
incrementar el ndice.
Una estructura muy similar a la For-Do pero mas versatil es la RepeatUntil. Su sintaxis es:
Repeat
accion1;
accion2;
. . .
Until DatoBoolean
y con ella se especifica que se repita el conjunto de acciones situado entre
el Repeat y el Until mientras que no sea True el valor de DatoBoolean .
Las acciones se realizan al menos una vez porque la verificacion sobre el dato
Boolean se hace despues que las acciones. As, en el siguiente programa
el juego no se interrumpe inmediatamente despues de teclear el 0. Por el
contrario la jugada se repite y luego se termina.
Program Diecisiete;
Var
n ,i : Integer;
Begin
Writeln(Adivina el numero que he generado ( del 1 al 9 ));
Writeln( Teclea 0 para terminar );

83
Randomize;
Repeat
i := Random(8);
Writeln(Dime un numero );
Readln(n);
If i+1 <> n
Then
Writeln( No acertaste, era el ,i+1)
Else
Writeln( Si );
Until n = 0 ;
End.
Sin embargo, en la estructura While-Do se realiza la comprobacion de
la condicion que ha de finalizar la repeticion antes de ejecutarse la accion.
Su sintaxis es:
While DatoBoolean Do
accion
donde DatoBoolean es una expresion cuyo resultado es un dato Boolean,
y accion es una instruccion PASCAL (sencilla o compuesta) que se repetira
mientras DatoBoolean se eval
ue a True.
El programa Dieciocho es una modificacion del Diecisiete en el que
con el uso de la estructura While-Do se verifica la condicion de fin del juego
antes de sortear el n
umero.
Program Dieciocho;
Var
n ,i : Integer;
Begin
Randomize;
Readln(n);
While n <>0 do
84
Begin
i := Random(8);
If i+1 <> n
Then
Else
Writeln( Si );
Readln(n);
End; {endwhile}
End.
Cuando se ha de programar un procedimiento repetitivo, la eleccion de una
de las tres estructuras se hara siempre considerando la claridad y facilidad
de programacion.
En PASCAL tambien existe la sentencia de control no estructurado Goto,
pero no la consideraremos pues en este curso se pretende que el alumno
ejercite la programacion estructurada. Sin embargo, si que consideramos la
funcion Exit cuya efecto es interrumpir la ejecucion del bloque en la que
se encuentra. Si se trata del programa principal, producira la interrupcion
de la ejecucion del programa. En el programa Diecinueve se modifica el
Diecisiete para interrumpir el juego haciendo uso de la funcion Exit.
Program Diecinueve;
Var
n ,i : Integer;
Begin
Randomize;
Repeat
i := Random(8);
Readln(n);
If n = 0 Then Exit;
If i+1 <> n
Then
DE LOS DATOS STRING.

7.4. MANIPULACION
85
Else
Writeln( Si );
Until n = 0 ;
End.
7.4
Manipulaci
on de los datos STRING.
Las sentencias de repeticion son u

tiles para manipular el contenido de los datos String accediendo a cada uno de los caracteres que componen la cadena.
Como vimos en su da, si s es un dato String ( una ordenacion consecutiva
de datos del tipo Char) el caracter almacenado en s[0] indica el n
umero
de caracteres almacenados en el dato. Ese caracter, como cualquier otro, se
puede convertir a dato entero utilizando la funcion Ord(). Igualmente, se
puede modificar la longitud asignando un nuevo caracter a s[0]. Los caracteres almacenados en s tambien se pueden modificar uno a uno y se accede
a ellos mediante s[i] donde i es un entero que corresponde a su n
umero de
orden dentro de la cadena. Por ejemplo,
s[2] := b;
hace que el segundo caracter almacenado en s sea el caracter b.
En el programa Veinte tenemos un ejemplo sencillo de manipulacion de
los caracteres de una cadena:
Program Veinte;
Var
s : String[10];
longitud, i : Integer;
Begin
s := ABCDEF;
longitud := Ord(s[0]) ;
Writeln(La longitud original es : ,longitud);
For i:=1 to longitud Do
writeln(Componente ,i:2, : ,s[i]);
s[0]:= Char(3);
s[2] := b;
Writeln(Despues de truncada y modificada: , s);
End.
86
y la salida que produce es:
La longitud original es : 6
Componente 1 : A
Componente 2 : B
Componente 3 : C
Componente 4 : D
Componente 5 : E
Componente 6 : F
Despues de truncada y modificada: AbC
Captulo 8
Modularidad
8.1
Dividir para vencer
Con las estructuras vistas hasta ahora del PASCAL se podran construir
programas que realizaran tareas muy complejas pero con escasa legibilidad.
Un modo muy com
un, y generalmente muy efectivo, de resolver un problema
es desmenuzarlo en una serie de problemas mas sencillos y resolver despues
cada uno de ellos. Es la estrategia que ha recibido el nombre dividir y vencer
o dise
no Top-Down. Desde el punto de vista de la legibilidad es deseable
que un programa de ordenador pueda estructurarse siguiendo lo mas posible
el esquema conceptual que se ha pensado utilizar para resolver el problema.
Por ejemplo, supongamos que se trata de escribir un programa que calcule
la suma de los n primeros terminos de una sucesion geometrica de razon r y
cuyo primer termino es a. Para ello pensamos utilizar la expresion:
n1
X
i=0
ari =
a(1 rn )
1r
y el esquema que podemos trazar para el programa es el siguiente:

Suma de la progresion:
(1) Lectura de datos
(2) Calculo de la expresion
(3) Salida de resultados
A su vez, el calculo de la expresion matematica no es inmediato puesto que
es necesario calcular rn donde r es real y n entero. Tambien podemos descomponer la tarea (2) en:
87
CAPITULO 8. MODULARIDAD
88
(2) Calculo de la expresion

(2.1) Obtener rn
(2.2) Realizar multiplicaciones y divisiones.
A traves de la descomposicion modular que permite el PASCAL con las
construcciones Procedure y Function es posible escribir el programa de
un modo muy similar al pseudo codigo anterior. El cuerpo principal del
programa sera simplemente:
Program SumaProgresion;
Var
n : Integer;
r,a,suma : Real;
(* Declaracion de procedimientos y funciones *)
. . . . . . . . . . . . . . . . . . . .
(* Fin de la parte declarativa *)
Begin { SumaProgesion }
{ Se utiliza la expresion:
suma = a (1-r**n) / (1-r) }
LeerDatos(n,a,r);
CalcularExpresion;
SacarResultados(suma);
End. { SumaProgresion}
y en el espacio reservado para declaraciones en el programa se especificara
que tareas se han de realizar en los procedimientos LeerDatos, CalcularExpresion, y SacarResultados, definidos por el programador.
8.2
Procedimientos
La sintaxis con la que se especifican estos procedimientos es similar a la de

un programa PASCAL pero se usa la palabra reservada Procedure para
indicar que se trata de un procedimiento parcial:
Procedure nombre ( argumentos ) ;
8.2. PROCEDIMIENTOS
89
Parte declarativa
Begin
Bloque de sentencias del procedimiento
End;
La parte declarativa del procedimiento tiene el mismo fin que en un programa y en ella se definen tipos de datos, variables y constantes como en un
programa y tambien, si as se requiere, procedimientos y funciones que sean
necesarios para la realizacion de este Procedure. En el bloque principal
del procedimiento se escriben las sentencias PASCAL que constituyen el algoritmo que ha de realizar, y en el se pueden utilizar datos definidos en su
parte declarativa, en la parte declarativa del programa principal o bien que
aparecen como argumentos del procedimiento. Estos argumentos se utilizan
para comunicar valores de datos al procedimiento desde el bloque donde ha
sido llamado. Cuando se llama al procedimiento, estos argumentos van separados por comas. En la declaracion del procedimiento los argumentos se
especifican de un modo muy parecido a como se especifica el tipo de datos
en la declaracion de las variables de un programa. Los datos de un mismo
tipo van separados por coma y se utiliza el punto y coma para separar datos
de distinto tipo. A continuacion de los argumentos se especifica el tipo de
variable. Por ejemplo, al procedimiento SacarResultados se le llama con el
argumento suma que es un dato Real. Este procedimiento se puede escribir
as:
Procedure SacarResultados(resultado : Real);

Begin { SacarResultados }
Writeln();
Writeln(La suma de la series es: , resultado:10:6);
End; { SacarResultados }
En el argumento se especifica el nombre que se va a utilizar en el procedimiento y tambien de que tipo de dato se trata. El nombre no ha de coincidir
con el utilizado en el bloque original, puesto que la identificacion de datos la
realiza el compilador por el orden en el que aparecen en el argumento y no
por el nombre.
90
8.3
Funciones
Muy parecida a la estructura Procedure es la estructura Function y se

utiliza para aquellos casos en los que se desea que el dato que se calcula en el
modulo independiente pueda aparecer en cualquier instruccion PASCAL en
el mismo lugar en el que aparecera el dato. Este es el caso de las funciones
intrnsecas del PASCAL que ya se han visto. La sintaxis de la estructura
Function es:
Function nombre ( argumentos ) : Tipodato ;
Parte declarativa
Begin
Bloque de sentencias de la funcion
End;
y en el bloque se especifica el valor que debe devolver la funcion asignandoselo
al nombre utilizado para nombrar la funcion. Por ejemplo, en el procedimiento CalcularExpresion debemos incluir el calculo de la potencia de un
numero real a un exponente entero. Esta operacion, que puede aparecer en
muchos otros programas, merece la pena que se escriba en un modulo aparte,
y dado que el resultado es un dato que suele aparecer en expresiones aritmeticas, es razonable que se escriba como Function. A la funcion le llamamos
Poten:
{Funcion que eleva un numero real a un potencia entera }
Function Poten ( base : Real;
exponente : Integer ) : Real;
Var
i : Integer;
z : Real;
Begin { Poten }
{1}
If exponente <= 0 Then
{2}
Poten :=1
{3}
Else
{4}
If exponente = 1 Then
{5}
Poten := base
{6}
Else
{7}
Begin
{8}
z := base;

DE LAS VARIABLES
8.4. AMBITO
DE DEFINICION
91
{9}
For i := 2 to exponente Do
{10}
z := z * base;
{11}
Poten := z
{12}
End;
End; { Poten }
En el argumento se especifican las dos variables con las que nos vamos a
referir al exponente y a la base, el exponente ha de ser un valor entero y
la base puede ser real. A continuacion, se especifica que el valor que ha de
devolver la funcion al bloque donde ha sido llamada es Real. Para realizar
el calculo se necesitan otras dos variables y se definen en la parte declarativa.
En las instrucciones {2}, {5} y {11}, aparece el nombre de la funcion en
la parte izquierda de una asignacion y es en ellas donde se especifica el valor
que puede devolver la funcion. La llamada a Poten desde el procedimiento
CalcularExpresi
on :
{Calculo de la expresion para la suma de la serie }
Procedure CalcularExpresion ;
Begin { CalcularExpresion }
suma := a * ( 1.0 - Poten(r,n) ) / ( 1.0 - r) ;
End; { CalcularExpresion }
se realiza dentro de una expresion aritmetica.
8.4
Ambito
de definici
on de las variables
Las variables que se definen en la parte declarativa de un procedimiento

o una funcion existen solamente para ese modulo. Se reservan lugares de
memoria para acomodarlas cuando se requiere el calculo del modulo y se
liberan cuando se termina la ejecucion de los algoritmos especificados en
el modulo. Por tanto, si en alg
un otro modulo del programa, o en la parte
principal, se utilizan esas variables, el compilador avisara de que no se conoce
el tipo de dato de esos identificadores. Por otro lado, se pueden utilizar
los mismos nombres para variables definidas en distintos modulos ya que el
compilador interpretara correctamente el hecho de que con cada nombre se
refiere al lugar de memoria reservado para el dato que se va a manipular en
cada modulo. El u
nico modo que hay para pasar valores de datos desde un
92
modulo a otro, es a traves de los argumentos del Procedure o Function.

Sin embargo, desde el bloque principal se pueden pasar datos a los procedimientos o funciones : cualquier variable o constante definido en la parte
declarativa del bloque principal es accesible a todos los modulos declarados
para el programa (tanto para conocer su valor como para modificarlo). Por
eso, el Procedure CalcularExpresion sin tener ning
un argumento puede
acceder al valor de los datos almacenados en las variables n,a y r. Con
esta posibilidad parece logico preguntarse el porque de utilizar argumentos
en los modulos. En particular, el porque de los argumentos en la funcion
Poten. Pues bien, la ventaja de utilizar los argumentos base y exponente
es que, aparte de mejorar la legibilidad, el mismo codigo puede utilizarse
en otros programas independientemente de como se llamen las variables que
intervienen en el calculo.
8.5
Paso de valores por contenido o direcci

on
Lo dicho anteriormente sobre las variables definidas en las partes declarativas

de los modulos, tambien es cierto para los argumentos: se reservan para
esos datos nuevos lugares de memoria cada vez que se llama a los modulos,
se copia a ellos los datos almacenados en los argumentos, se utilizan en el
procedimiento y luego se liberan. Por tanto, dentro de un modulo no se puede
alterar el valor de las variables definidas para el bloque que llama al modulo.
Cuando se desee modificar en el modulo el valor de una variable pasada
como argumento hay que especificarlo y as sera accesible al modulo no solo
el contenido de la variable sino tambien su direccion en la memoria. La
especificacion se realiza anteponiendo a estas variables la palabra reservada
Var. Por ejemplo, en el procedimiento Leerdatos
Procedure Leerdatos( Var numero: Integer;
Var primero , razon : Real );
Begin {Leerdatos}
Writeln ( Primer termino de la serie? );
Readln (primero);
Writeln ( numero de terminos? );
Readln (numero);
Writeln ( Razon de la serie? );
Readln (razon);
End; {Leerdatos}

8.5. PASO DE VALORES POR CONTENIDO O DIRECCION
93
se especifica que las variables numero, primero, y razon, son argumentos

pasados al modulo por referencia o direccion y no por contenido o valor.
Los datos que almacena el procedimiento en numero, primero, y razon, en
realidad se estan almacenando en los lugares de memoria que el programa
principal reservo para n, a, y r.
El programa completo que realiza la suma de la progresion es:
Program SumaProgresion;
Var
n : Integer;
r,a,suma : Real;
{ Lectura de datos }
Procedure Leerdatos( Var numero: Integer;
Var primero , razon : Real );
Begin {Leerdatos}
Writeln ( Primer termino de la serie? );
Readln (primero);
Writeln ( numero de terminos? );
Readln (numero);
Writeln ( Razon de la serie? );
Readln (razon);
End; {Leerdatos}
{Funcion que eleva un numero real a un potencia entera }
Function Poten ( base : Real;
exponente : Integer ) : Real;
Var
i : Integer;
z : Real;
Begin { Poten }
If exponente <= 0 Then
Poten :=1
Else
If exponente = 1 Then
Poten := base
Else
Begin
94
z := base;
For i := 2 to exponente Do
z := z * base;
Poten := z
End;
End; { Poten }
{Calculo de la expresion para la suma de la serie }
Procedure CalcularExpresion ;
Begin { CalcularExpresion }
suma := a * ( 1.0 - Poten(r,n) ) / ( 1.0 - r) ;
End; { CalcularExpresion }
Procedure SacarResultados(resultado : Real);
Begin { SacarResultados }
Writeln();
Writeln(La suma de la series es: , resultado:10:6);
End; { SacarResultados }
Begin { SumaProgesion }
{ Se utiliza la expresion:
suma = a (1-r**n) / (1-r) }
LeerDatos(n,a,r);
CalcularExpresion;
SacarResultados(suma);
End. { SumaProgresion}
El ambito de las variables y la diferencia entre el paso de argumentos por
referencia o contenido se puede apreciar bien con el siguiente programa Uno:
Program Uno;
Var
a , b ,c : Integer;

8.5. PASO DE VALORES POR CONTENIDO O DIRECCION
95
Procedure Escribe ( texto : String;

Var x : Integer;
y : Integer );
Begin { Escribe }
x := 2 * x ;
y := 2 * y ;
Writeln (texto, x:4 , y:4 , c:4 );
End; { Escribe }
{1}
{2}
{3}
{4}
{5}
Begin
a := 3;
b := 5;
Writeln( Antes :
Escribe(Durante:
Escribe(Durante:
Writeln(Despues:
End.
,
,
,
,
c:=
a:4
a ,
a ,
a:4
7;
, b:4 , c:4 );
b );
b );
, b:4 , c:4 );
que produce la siguiente salida:

Antes :
Durante:
Durante:
Despues:
3
6
12
12
5
10
10
5
7
7
7
7
La variable c la conoce el procedimiento Escribe porque esta declarada

como variable global para todo el programa. La variable y se pasa por
contenido y por tanto su multiplicacion por 2 en el procedimiento no altera el
valor del dato almacenado en la variable global b. Sin embargo, el argumento
x se pasa por referencia y por tanto cada vez que se llama al procedimiento
se multiplica por 2 el valor almacenado en la variable global a. Cuando
una variable se pasa por referencia el compilador ha de interpretar que cada
vez que se asigne un nuevo valor a esa variable se esta almacenando un
nuevo valor en el contenido de la direccion de memoria que corresponde a
esa variable. Por eso se dice que se esta transmitiendo al procedimiento la
direccion de la variable.
Comprendiendo lo anterior esta claro que las constantes no pueden ser
trasmitidas como argumentos pasados por referencia: las constantes estas en
posiciones en las que no se puede escribir durante la ejecucion del programa.
Por ejemplo, si el procedimiento Escribe se hubiera definido
96
Procedure Escribe ( Var texto

Var x
y
: String;
: Integer;
: Integer );
el compilador avisara de que en la instruccion {3} se espera como primer

argumento del procedimiento una variable.
8.6
Definici
on diferida
El compilador transforma las ordenes PASCAL a lenguaje maquina empezando por el principio del programa y acabando por el End. Por tanto,
cualquier procedimiento o funcion ha de declarase antes de ser utilizado para
que el compilador cuando llegue al identificador correspondiente sepa interpretar que instrucciones de la Unidad Central de Proceso debe generar. En
general esto implica un orden mnimo a la hora de escribir el programa y llevar cuidado de no definir modulos en lneas posteriores a las que los utilizan.
Sin embargo, puede haber ocasiones en las que se requiera que un modulo
llame a otro modulo y que a su vez llame al primero. En este caso sera imposible definir los dos antes de referirlos y por tanto PASCAL proporciona la
palabra reservada FORWARD para seguir al nombre y argumentos de un
procedimiento o funcion cuyo contenido se especificara en lineas posteriores.
En el programa Dos se ilustra el uso de FORWARD :
Program Dos;
Procedure B ( C : Char); FORWARD;
Procedure A ( c : Char);
Begin { A }
If c < Z Then B (c);
Write ( c )
End; { A }
Procedure B ( c : Char);
Begin { B }
A ( Succ (c) )
End; { B }
8.7. MODULOS
Y SUBMODULOS
97
Begin { Dos }
A ( A );
End. { Dos }
El procedimiento B es necesario para definir el contenido de A, y a su vez
A es necesario para definir el algoritmo siniestro que se explicita en B. El
circulo vicioso se rompe adelantando al compilador que B es un Procedure
que toma como argumento un dato Char. Cuando el compilador luego
analiza el procedimiento A reconoce el identificador B y el hecho de que
tome un argumento Char. Entonces, podra generar codigo de la UCP en el
que redireccione el calculo a la direccion de memoria que ya tiene reservada
para el modulo B. Posteriormente, cuando analice la especificacion de los
pasos a realizar en el modulo B generara el codigo UCP que constituira
el calculo que se ha de realizar en el procedimiento B. Si todo esto parece
enrevesado mas lo es el modo en que se ha programado el algoritmo que
realiza el programa Dos. Ademas, carece de ning
un comentario para que
se pueda calificar como un claro ejemplo de mala programacion. El alumno,
realizando las instrucciones del programa a mano tardara alg
un minuto en
conocer cual es la salida del programa.
8.7
M
odulos y subm
odulos
Al igual que para un programa se pueden definir modulos, tambien para un

modulo se pueden escribir otros modulos. Es decir declaraciones de procedimientos cuyo significado solo conoce el modulo en el que se definen. Por
ejemplo en el programa Tres la funcion Final es local al procedimiento Eco.
Program Tres;
Procedure Eco;
Var
s : String;
Function Final : Boolean;
Var
c : Char;
Begin { Final }
98
Writeln( Acabo de hacer el ecooooo ? (s/n) );

Readln(c);
If
(c = s) Or (c = S)
Then
Final := True
Else
Final := False
End; { Final }
Begin { Eco }
Repeat
Readln(s);
Writeln(s);
Until Final;
End; { Eco }
Begin { Tres }
{1}
{2}
Eco;
End. { Tres }
de modo que si en la linea etiquetada 1 del cuerpo del programa principal se
a
nade la instruccion:
If Final Exit;
para que el usuario pueda acabar tras la primera pregunta, el compilador
avisara de que el identificador Final no esta definido. Esta funcion esta
definida localmente para el procedimiento Eco exactamente como tambien
es local a el la variable s. Esta posibilidad de anidamiento en la definicion
de modulos no se debe utilizar salvo en raras ocasiones pues es origen de
muchas confusiones y es mejor optar por un estilo homogeneo en el que solo
se definen modulos para el programa principal
Un error muy com
un en la definicion del contenido de las funciones es el
olvidar asignar un valor al identificador de la funcion. Generalmente no se
trata de una negligencia sintactica sino del olvido de una posibilidad cuando
se hacen asignaciones condicionales. Pero los efectos de este error son menos
alarmantes que los de utilizar el identificador de la funcion en la parte derecha
de una asignacion en el cuerpo de la funcion. En ese caso, lo mas probable es
8.8. RECURSIVIDAD
99
que se haya escrito un programa que realice un bucle infinito. Esta posibilidad
existe puesto que el PASCAL permite la recursividad en la programacion:
algo que bien utilizado puede aumentar la legibilidad de los programas.
8.8
Recursividad
La definicion de muchos objetos abstractos se realiza mediante recursion. La

recursion aparece generalmente o bien en la definicion de estructuras con
autosemejanza o en la descripcion de procedimientos de calculo matematico.
Se dice que una definicion es recursiva cuando el objeto definido aparece
en la recursion. Este es un modo de definir objetos muy com
un y u
til. Por
ejemplo, cuando estudiamos el problema de Josefo, se definan los nodos
que componan el crculo como componentes que se identificaban por un
n
umero y tenan un enlace con otro nodo. Como veremos posteriormente, la
recursividad es muy u
til para definir estructuras de datos.
La recursion tambien se utiliza para definir procedimientos de calculo.
En este caso, hay que llevar cuidado en transformar la definicion recursiva
en un algoritmo que se realice en un n
umero finito de pasos. Por ejemplo,
consideremos la definicion del factorial de un n
umero que se deriva de la
siguiente expresion:
n! = n(n 1)!
Esta igualdad matematica no es un procedimiento de calculo. Para que as
lo sea, hay que a
nadir algo mas. En este caso, se trata de algo tan sencillo
como una condicion de principio o fin. Si consideramos las dos igualdades:
n! = n(n 1)!
1! = 1
veremos que ya disponemos de un procedimiento para calcular el factorial.
Para calcular, por ejemplo, 4! utilizaramos la secuencia de igualdades:
4! = 4 3! = 4 3 2! = 4 3 2 1! = 4 3 2 1 = 24
La definicion recursiva, y una receta para conocer un valor particular, nos ha
proporcionado un metodo muy claro para calcular el factorial de cualquier
n
umero entero n 1. En general una definicion recursiva de un algoritmo
incluye:
100
La relacion con el caso mas peque

no.
La condicion de finalizacion.
El PASCAL , como cualquier lenguaje moderno de programacion permite la programacion recursiva: en la definicion de un modulo, Procedure
o Function, puede aparecer una llamada a el mismo. El programa para
calcular el factorial podra ser:
Program Factoriales;
Var
m :Integer;
Function Fac ( n : Integer ) : Integer;
{ Utiliza la definicion n! = n (n-1)! }
Begin
{1} If n <= 1 Then
{2}
Fac := 1
{3}
Else
{4}
Fac := n
End;
* Fac ( n - 1 )
Begin
Writeln(Calculo de factorial. Introducir el numero:);
Read( m );
If m > 7 Then
Writeln(El numero es demasiado grande.)
Else
Writeln (El factorial de, m:2 , es , Fac (m) )
End.
Como se utilizan datos Integer este programa solo sera capaz de calcular
hasta el factorial de n
umeros peque
nos pues crece muy rapidamente y a partir
de 7! se desborda la capacidad de almacenamiento de ese dato. Por lo demas,
se trata de un programa de facil lectura. En la instruccion {2} consideramos
el valor de terminacion de las llamadas recursivas. Sin ella, el programa no
acabara nunca. En la instruccion {4} estamos diciendo que en esa llamada
se asigne a la funcion Fac el valor que se obtiene multiplicando el valor actual
8.8. RECURSIVIDAD
101
de n por el resultado que se obtenga al llamar a la funcion Fac con el valor

decrementado en 1.
Generalmente, la recursividad mejora la facilidad de escritura de algoritmos y su legibilidad. Sin embargo, los programas que resultan suelen ser
menos eficientes que aquellos que hacen la misma tarea sin usar la recursividad (en el programa Catorce del tema anterior vimos el caso no recursivo). Muy frecuentemente, se utiliza el algoritmo recursivo como una primera
aproximacion a la resolucion del problema. Posteriormente, un analisis mas
profundo de este, puede llevar a otro algoritmo no recursivo y que se ejecuta
con menos gasto de recursos. La primera version recursiva, conceptualmente
mas sencilla, siempre sirve para comparar los resultados del algoritmo mas
elaborado.
Como se menciono anteriormente, la posibilidad de recursividad que ofrece el PASCAL puede dar lugar a errores de programacion con resultados molestos. Si por error en una funcion aparece el nombre de una funcion en el
lado derecho de una asignacion, el compilador no avisara de tal error, pues
sintacticamente corresponde a una llamada recursiva, y es muy probable que
se obtenga un bucle infinito.
102
Captulo 9
Datos con estructura
Un programa de ordenador esta constituido por algoritmos que manejan la
informacion almacenada en la memoria del ordenador. El modo en el que
esta informacion puede ser referenciada por el programador es esencial para
la eficacia y legibilidad de los algoritmos. Hasta ahora hemos visto tipos de
datos muy elementales. En este tema se consideran opciones mas avanzadas
al estudiar los tipos de datos definidos por el programador y datos que poseen
estructura interna.
9.1
Tipos de datos definidos por el programador
Ya se han estudiado tipos de datos elementales como los Integer, Real,

Char, etc. En este tema se estudiaran otros tipos de datos definidos en
PASCAL . Pero tambien puede el programador definir tipos de datos a la
medida de sus necesidades. Con la palabra reservada Type se puede informar
al compilador sobre la interpretacion de variables que van almacenar el nuevo
tipo de dato. Esta definicion de nuevos tipos de datos se incluye en la parte
declarativa del programa, antes de que se referencie ese nuevo tipo de dato,
y con la siguiente sintaxis:
Type
Indentificador1 = Untipo1;
Indentificador2 = Untipo2;
.
.
.
103
CAPITULO 9. DATOS CON ESTRUCTURA
104
donde Indentificador1,Indentificador2, etc., son los nombres que se han asignado a los nuevos tipos de datos , y Untipo1,Untipo2, etc., es la especificacion
de que tipo de dato se trata.
La utilizacion mas trivial que se puede pensar para esta posibilidad es la
de renombrar la denominacion de los tipos de datos estandard. Por ejemplo,
Program Uno;
Type
Entero = Integer;
Var
i,n : Entero;
. . . . . .
con estas declaraciones se informa al compilador de que cuando se definen las
variables i,n como Enteros , nos referimos a datos Integer. Obviamente,
la posibilidad de definicion de tipos de datos existe para realizar cosas mas
u
tiles que simplemente renombrar. Por ejemplo, se puede utilizar para definir
variables enteras con un rango acotado. En el programa Uno se utiliza esta
posibilidad:
Program Uno;
Type
Nota = 0..10;
Var
i : Nota;
Begin
Writeln(Teclear la nota (0 a 10):);
Readln(i);
Case i Of
0..4 : Writeln(Suspenso);
5..10 : Writeln(Aprobado)
End;
End.
Se define el tipo de dato Nota que es un entero en el rango entre 0
y 10. La primera de las instrucciones del programa es una orden para el
compilador de TURBO PASCAL , que le indica que genere codigo de UCP
en el que se realice comprobacion de rangos de variables durante la ejecucion
9.2. ENUMERACIONES
105
del programa. Con esta opcion, si se teclea un dato fuera del rango definido
para Nota aparecer? un mensaje de error Run time. Sin esa opcion del
compilador, no aparecera ning
un mensaje de error.
9.2
Enumeraciones
Los tipos de datos Integer, Char y Byte son ejemplos de tipos de datos
en los que se puede almacenar un n
umero limitado de datos. En el tipo
Byte, por ejemplo, n
umeros entre el 0 y el 255. Si el programador necesita
utilizar un conjunto limitado de datos puede referirse a ellos estableciendo
explcitamente una relacion entre cada dato y uno de los valores que puede tomar un tipo de dato limitado. Por ejemplo, si queremos referirnos a
los meses de a
no en un programa se puede establecer una relacion entre un
n
umero y el mes, empezando con el 1 para Enero y siguiendo hasta 12 con
el orden del calendario. Dado el uso cotidiano de esta relacion resultara
muy facil escribir y leer programas en los que se utilizara una variable mes
del tipo Byte. Siempre que mes tomara el valor 2 el programador inmediatamente interpretara ese valor como el mes de Febrero. Sin embargo, en
otras muchas ocasiones no existira tal correlacion cotidiana entre ordinales
y objetos. Por ejemplo, si en un programa se quiere operar con datos del
tipo color, considerando las posibilidades Rojo , Amarillo , Naranja, Verde
, y Azul, no es facil elegir una ordenacion entre ellos que permita establecer
una relacion facilmente comprensible entre un n
umero, por ejemplo del 0 al
4, y cada color. Para estos casos el PASCAL permite establecer esa relacion
en la definicion de un tipo y el programador puede olvidarse de ella durante
el programa. Un tipo de dato enumerado se especifica con el conjunto de
posibilidades entre parentesis y separadas por comas. En el programa Dos
tenemos un ejemplo de su utilizacion:
Program Dos;
Type
Color = (Rojo , Amarillo , Naranja, Verde , Azul);
Var
i : Color;
Begin
i := Amarillo;
Case Succ(i) Of
Amarillo :
Writeln(Se trata de Amarillo);
106
Naranja
End;
Writeln(Se trata de Naranja);
Writeln(Ord(i));
End.
El tipo de dato Color se define como la enumeracion de esos cinco colores.
La variable i se define como un Color y por tanto puede tomar el valor
Amarillo. El compilador establece una relacion unvoca entre cada uno de
los posibles valores y un n
umero. Por tanto sobre este tipo de dato se puede
operar con las funciones que admiten argumentos ordinales, entre otras Succ
y Pred. Este programa escribira primero : Se trata de Naranja porque el
sucesor del valor Amarillo es Naranja. De hecho, la relacion que establece
el compilador entre valores y n
umeros es sencillamente el n
umero de orden,
empezando por 0, en el que aparece cada valor en la enumeracion que se
utiliza para declarar el tipo. Por tanto, el programa acabara su ejecucion
escribiendo el n
umero 1.
Este tipo de datos enumerado se suele utilizar para facilitar la tarea de
programar (escritura y lectura), y no se pueden leer o escribir. Por ejemplo,
la instruccion Readln(i); no sera valida en el programa Dos. Sin embargo,
se puede establecer la relacion entre un ordinal y el valor de un tipo de dato
enumerado que aparece en ese lugar en la definicion. Por ejemplo, la primera
instruccion del programa Dos se podra reemplazar por
i:= Color(1);
Otra utilidad de los tipos de datos enumerados es la formacion de conjuntos con la posibilidad que ofrece el PASCAL de operaciones entre conjuntos.
9.3
Conjuntos
Un conjunto de datos del tipo Cualquiera se define con la siguiente sintaxis:

Type identificador Set Of Cualquiera
donde identificador es el nombre elegido para el nuevo tipo de dato, y cualquiera es el tipo de dato de los elementos que forman el conjunto. Los
elementos pueden ser cualquier tipo de dato ordenado, y entre ellos los enumerados.
9.3. CONJUNTOS
107
La especificacion de los miembros de un determinado conjunto se realiza

escribiendo los elementos, uno a uno, o mediante rangos, entre parentesis
cuadrados. El el programa Tres se ilustra el uso de los conjuntos:
Program Tres;
Type
Meses = ( enero , febrero , marzo , abril , mayo , junio,
julio , agosto , septiembre , octubre,
noviembre, diciembre );
Estacion = Set Of Meses;
Var
n : Integer;
mes : Meses;
otogno,invierno,primavera,verano,cambio: Estacion;
Begin
invierno := [diciembre ,enero .. marzo ];
primavera := [marzo .. junio];
verano :=
[junio .. septiembre];
otogno :=
[septiembre .. diciembre];
{ Los meses de cambio de estacion son la suma de las
interseciones de las estaciones }
cambio := invierno * primavera + primavera * verano +
verano * otogno + otogno * invierno;
Writeln(teclear en numero del mes (de 1 a 12):);
Readln(n);
mes := Meses( n - 1);
If mes In cambio
Then Write( Cambia la estacion :
If mes In verano
Then Write( verano
If mes In otogno
Then Write( otogno
If mes In invierno Then Write( invierno
If mes In primavera Then Write( primavera
Writeln();
);
);
);
);
);
End.
El operador In se utiliza para determinar si un elemento se encuentra dentro
de un conjunto, con la siguiente sintaxis:
108
NomElemento In NomConjunto
donde NomElemento es el nombre del elemento sobre el que se inquiere y
NomConjunto el conjunto. El resultado de esta operacion es un dato Boolean, y se eval
ua a True solo si el elemento pertenece al conjunto.
En el programa Tres tambien se ilustra la asignacion de valores a los
conjuntos, si bien falta a
nadir que tambien se puede asignar el conjunto
vaco ([] ).
Los operadores aritmeticos y logicos cuando act
uan entre conjuntos tienen
un significado nuevo. Si A, B y C son conjuntos de elementos del mismo tipo,
las operaciones permitidas son :
C := A + B
C := A * B
C := A - B
{C : conjunto
{C : conjunto
{C : conjunto
union de A y B}
interseccion de A y B}
diferencia de A y B}
Tambien se pueden comparar los conjuntos con los operadores logicos dando
lugar a un dato Boolean. Si A y B son dos conjuntos de elementos del
mismo tipo y verdad un dato Boolean, las comparaciones siguientes son
posibles:
verdad
verdad
verdad
verdad
:=
:=
:=
:=
A
A
A
A
=
B
<> B
<= B
=> B
{verdad es True si A y
{verdad es True si A y
{verdad es True si A es
{verdad es True si B es
B son iguales}
B son distintos}
subconjunto de B}
subconjunto de A}
teniendo en cuenta que el conjunto vaco es subconjunto de todo conjunto.

Tambien hay que tener en cuenta que el n
umero de elementos que pueden
formar un conjunto en PASCAL esta limitado a un maximo de 256.
9.4
Arrays
Cuando se tiene que seguir la pista a un grupo o de datos es muy u

til referirse a todos ellos con un mismo nombre y distinguir entre los elementos
mediante el lugar que ocupan en el grupo. En realidad de trata de ampliar la
conveniencia de los conjuntos estudiados anteriormente a grupos de datos de
cualquier tipo. En el Array los elementos del grupo se ordenan asignandose
a cada elemento un n
umero de orden o direccion. El tipo de dato Array (
tabla ) es uno de los datos con estructura mas importantes de un lenguaje.
Esto es as, porque corresponde a una ordenacion de datos similar a la que se
9.4. ARRAYS
109
realiza en la memoria central del ordenador. Se puede pensar que un Array

es un conjunto de celdillas contiguas, en cada una de ellas se puede almacenar un dato simple, y cada dato simple esta identificado por la posicion que
ocupa en esa tabla. La ventaja de esta estructura es que se tarda el mismo
tiempo en acceder a cualquier elemento, ya que se accede a el exclusivamente
por su direccion. La desventaja, es que se trata de un estructura estatica en
el sentido de que la longitud maxima de la tabla se ha de especificar a priori.
Para definir el tipo de dato Array se utiliza la siguiente sintaxis:
Array [ rango ] Of tipo
donde tipo es el tipo de datos que se almacena en cada una de las posiciones
de la tabla y rango la especificacion del rango de variacion del ndice (entero)
que identifica las posiciones de los elementos de la tabla. Este rango se
concreta especificando el primer y u
ltimo ndice separados por dos puntos
consecutivos. Solo se permite un rango consecutivo.
La especificacion de Array puede aparecer tanto en una definicion de
tipo de dato, por ejemplo,
Type
vector = Array [1..30] Of Real;
o directamente en la declaracion de una variable, por ejemplo,
Var
texto : Array [0..3000] Of Char;
El ndice que sirve para especificar la posicion de los elementos no tiene
porque empezar en 0 o 1. Si para el programa tiene sentido utilizar un rango
como [127..345], es perfectamente valido. Para acceder a un elemento de
un Array se utiliza el identificador seguido de su ndice entre parentesis
cuadrados.
En el programa Primos tenemos un ejemplo de utilizacion de esta estructura de datos. Se trata de la determinacion de n
umeros primos utilizando el
famoso algoritmo de la criba de Eratostenes.
Program Primos;
Const
MAX = 1000;
{ Calculo de los numeros primos entre 1 y MAX
utilizando el algoritmo de la Criba de Eratostenes }
110
Var
esPrimo : Array [1..MAX] of Boolean;
i,j : Integer;
Begin { primos }
{Se inicializa la tabla}
esPrimo[1] := False;
For i := 2 to MAX Do esPrimo[i] := True;
{En la criba de Eratostenes se parte de todos los numeros
y se van eliminando todos los multiplos de los primos
elegidos. Seran primos elegidos aquellos que , en orden
ascendente, no hayan sido marcados como multiplos }
For i := 2 To MAX Div 2 Do
For j := 2 To MAX Div i Do
esPrimo[i*j] := False;
{Se cuenta el numero de primos encontrados }
j:= 0; For i := 1 To MAX Do If esPrimo[i] Then j := j + 1;
Writeln(Entre 1 y ,MAX:5, se han encontrado , j:3, primos);
For i := 1 To MAX Do If esPrimo[i] Then Write(i:4);
End. { primos }
Se define el Array esPrimo para almacenar datos Boolean que permiten
seguir la pista de los n
umeros que son m
ultiplos de otros. En este programa
se hace un uso apropiado de la ventaja ofrecida por la estructura de dato
Array. Se utiliza un tiempo constante para acceder a cualquier elemento de
la tabla, independientemente de que se trate del primero o el u
ltimo. Ademas
se puede incluir en el programa una relacion ventajosa entre la posicion de
un elemento en la tabla y su significado.
La estructura Array se usa muy a menudo en el calculo cientfico, pues
se trata de la realizacion de un vector, si cada elemento de la tabla se interpreta como un componente del vector. Igualmente, se pueden definir tablas
de tablas (Array bidimensional) para manipular matrices, y Array multidimensionales para los tensores.
La especificacion del rango, cuando se declaran, en los Array multidimensionales se puede realizar separando con comas los rangos de cada una
de las dimensiones. Igualmente, el acceso al contenido de una posicion de
9.4. ARRAYS
111
estas tablas m
ultiples se puede realizar separando con comas los ndices de
cada una de las dimensiones.
El siguiente procedimiento MultMatriz se puede utilizar para multiplicar matrices.
Program Cuatro;
Const
MAXDIM = 20;
Type
Numeros = Real;
Matriz = Array[1..MAXDIM,1..MAXDIM] Of Numeros;
Var
n : Integer;
A,B,C : Matriz;
Procedure Leematriz ( Var X : Matriz); FORWARD;
Procedure Escribematriz ( X : Matriz); FORWARD;
Procedure MultMatriz ( dim : Integer;
Var
A1 , A2 , M : Matriz );
Var
i,j,k : Integer;
x : Numeros;
Begin { MultMatriz }
For i := 1 To dim Do
For j := 1 To dim Do
Begin
x:= 0.0;
For k := 1 To dim Do
x := x + A1 [i,k] * A2 [k,j];
M[i,j] := x;
End; {End del doble For}
End; { MultMatriz }
{ Aqui se encontrarian las definiciones de los
}
{
dos procedimientos que se han omitido
}
Begin
Writeln(Dimension de las matrices: );
Readln(n);
Leematriz(A); Leematriz(B);
112
MultMatriz(n,A,B,C);
Writeln(La Matriz producto es:);
Escribematriz(C);
End.
Pero la definicion de los Array miltidimensionales tambien se puede hacer
como una tabla de tablas. Por ejemplo, el tipo de dato Matriz se podra
haber definido del siguiente modo:
Matriz = Array[1..MAXDIM] Of Array [1..MAXDIM] Of Numeros;
e igualmente los componentes de este tipo de datos se pueden referir como:
x := x + A1 [i][k] *
A2 [k][j];
Ambas definiciones y utilizaciones son equivalentes. Las limitaciones de las

estructuras Array definidas de este modo estan en la capacidad de almacenamiento. Una estructura Array no puede ocupar toda la memoria disponible
en el ordenador por muchos motivos que se estudiaran en el tema de gestion
de memoria. Basta con uno de ellos: en TURBO PASCAL no se puede crear
un Array que ocupe mas de un segmento de memoria (216 = 65, 536 bytes ).
La estructura de datos String es simplemente un caso especial de tabla de
datos tipo Char en el que se reserva la posicion de ndice cero para almacenar
el caracter correspondiente al n
umero que indica los elementos almacenados.
Ya vimos en su da que el tipo de datos String tiene su capacidad limitada a
255 caracteres. El programador puede muy facilmente definir un tipo de dato
similar al String con capacidad superior. En este caso, tendra que definir
sus propias funciones para manipularlos. La siguiente funcion Concatena
podra ser la funcion que uniera dos de estas cadenas de caracteres.
Program Cinco;
Const
MAXDIM = 300;
{ Los caracteres se guardan en enteros como su ordinal }
Type
Cadena = Array[0..MAXDIM] Of Integer;
Var
A,B : Cadena;
Procedure LeeCadena (Var x : Cadena);
9.4. ARRAYS
113
Var
i : Integer;
c : Char;
Begin { LeeCadena }
i:= 1;
Repeat
Read(c);
x[i] := Ord(c);
i := i+1;
Until ( EOLN );
x[0] := i - 1;
{ Lee los caracteres ASCII 13 (CR) y 10 (LF)
que delimitan el fin de linea
}
Read(c);Read(c);
End; { LeeCadena }
Procedure EscribeCadena ( x : Cadena);
Var
i: Integer;
Begin { EscribeCadena }
For i := 1 to x[0] Do Write(Chr( x[i] ));
End; { EscribeCadena }
{ Procedimiento para unir a la cadena A1 la cadena A2 }
Procedure Concatena ( Var
A1 , A2 : Cadena );
Var
dim1 , i : Integer;
Begin
dim1 := A1[0];
For i := 1 To A2[0] Do
A1[ dim1 + i ]
A1[0] := dim1 + A2[0];
End;
Begin
Writeln();
:= A2[i];
114
LeeCadena(A);
LeeCadena(B);
Concatena(A,B);
Writeln();
EscribeCadena(A);
End.
Se aprecia en la funcion Concatena que el hecho de poder acceder a la

longitud de la cadena permite escribir algoritmos muy eficientes de cadenas
de caracteres. Sin embargo, esta estructura definida para las cadenas de
caracteres es ineficiente en cuanto almacenamiento. Se estan almacenando
los caracteres ASCII en 2 bytes mientras que sera suficiente uno solo.
9.5
Registros
La situacion encontrada en el problema planteado anteriormente de manipulacion de cadenas es muy com

un. Lo mas frecuente es encontrarse en una
situacion en la que se quiere representar en un tipo de dato una informacion
que posee estructura interna y es heterogenea, es decir, los campos en los que
se subdivide el dato no son todos del mismo tipo. Para ello el PASCAL, como
otros lenguajes de programacion actuales, suministra los datos tipo registro
(en ingles records).
Un registro es un tipo de dato definido por el programador en el que
puede especificar su estructura interna.
El programador da nombre al nuevo tipo de dato y a cada uno de los
campos que lo componen, y especifica el tipo de dato que puede ocupar cada
uno de los campos. La sintaxis para estas especificaciones es:
Type
nombre =
Record
NombreCampo1 : TipoDato1 ;
NombreCampo2 : TipoDato2 ;
.
.
.
End;
donde nombre es el identificador elegido para el registro, y NombreCampo1 , NombreCampo2 , ... son los identificadores elegidos para los distintos
9.5. REGISTROS
115
campos. TipoDato1 , TipoDato2, ... son la especificacion del tipo de dato

que se va a almacenar en cada uno de los campos. Esta especificacion puede
corresponder a un tipo de dato estandard del PASCAL , la enumeracion o el
rango de los posibles valores, u otro tipo de dato declarado con anterioridad.
Por ejemplo, hay casos en los que puede ser conveniente definir un tipo de
variable para almacenar la informacion de una fecha. Una posible definicion
es la siguiente:
Program Seis;
Type
Fecha =
Record
mes : 0 .. 12; { 0 seria para indicar que no se conoce la fecha}
dia : 1 .. 31;
agno : Integer ;
End;
Var
alta , baja : Fecha;
El modo en el que se especifica refiriendose a una variable del tipo Record
un determinado campo, es a
nadiendo al nombre de la variable el nombre
dado al campo, y unidos por un punto. El ejemplo anterior podra continuar
del siguiente modo
Begin
alta.dia := 27 ;
alta.mes := 2 ;
alta.agno := 1992;
baja.mes := alta.mes + 2;
....
Tambien el PASCAL permite la comodidad de la estructura With para acceder a los valores de los campos de los registros. La sintaxis de la estructura
With es la siguiente :
With nombre Do accion
donde nombre es la especificacion de la variable ( o las variables separadas por
comas ) del tipo Record a la que se refiere la instruccion PASCAL accion
116
que se encuentran a continuacion del Do. Si se trata de una instruccion

compuesta se encontrara, como siempre, horquillada entre un Begin y un
End. En la instruccion del With podemos especificar los distintos datos
del registro con solo el nombre de los campos. Por ejemplo, las instrucciones
anteriores, se podran haber escrito del siguiente modo:
Begin
With alta Do
Begin
dia := 27 ;
mes := 2 ;
agno := 1992;
baja.mes := mes + 2;
End;
....
La eleccion del uso de la estructura With se suele hacer en cada caso particular seg
un la legibilidad que a
nada al programa.
Ya hemos dicho que los campos de los registros pueden contener datos que
son del tipo registro. En ese caso, como siempre, habra que llevar cuidado en
definir los tipos de datos en el orden adecuado para que nunca aparezca en
una declaracion un tipo de dato que no ha sido declarado en pasajes anteriores
del programa. Si ampliamos el ejemplo anterior hacia la construccion de una
base de datos con los alumnos y sus notas, un programa de captacion de
datos podra empezar as:
Program Siete;
Type
Fecha =
Record
dia : 1 .. 31;
agno : Integer ;
End;
Alumno =
Record
nombre : String;
apellidos : String;
9.5. REGISTROS
117
nacimiento : Fecha;
nota : Real;
End;
Var
uno,otro : Alumno ;
Begin
Writeln(Nombre : ) ; Readln(uno.nombre);
Writeln(Apellidos : ); Readln(uno.apellidos);
Writeln(Agnno de nacimiento : ); Readln(uno.nacimiento.agno);
Writeln(Mes de nacimiento: ); Readln(uno.nacimiento.mes);
Writeln(Dia de nacimiento: ); Readln(uno.nacimiento.dia);
Writeln(Nota del examen: ); Readln(uno.nota);
. . . . . . . . . . . . . .
y vemos que la referencia a los campos de registros que son a su vez campos
de un registro se realiza concatenando con puntos los identificadores de los
campos.
Para crear una base de datos que contuviera informacion de los alumnos
de una clase lo logico sera ordenar los alumnos en una lista. Para ello, se
puede crear una estructura Array cuyos elementos sean los registros definidos para almacenar la informacion de los alumnos. Se podra por ejemplo
a
nadir en la parte declarativa del programa Siete el siguiente tipo de dato:
{
Type }
Lista =
Array[1..100] of alumno;
y tambien una variable de este tipo:

{ Var }
primero : Lista;
El acceso a los elementos del Array es el habitual. Por ejemplo, el programa
Siete podra continuar del siguiente modo:
primero[1] := uno;
If (Primero[1].nacimiento.mes = 12 ) Then ......
118
En la primera de estas instrucciones se asigna al elemento primero del Array

primero el dato almacenado en uno (con todos sus campos de una sola
vez). En la segunda, se comprueba el valor que tiene el dato almacenado
en el campo mes del campo nacimiento de la variable del tipo Alumno
almacenado en la posicion primera del Array primero.
Tambien existe, obviamente, la posibilidad inversa: la de definir registros
en los que sus campos sean datos con la estructura Array. Podemos retomar
ahora el problema estudiado anteriormente de cadenas de caracteres y utilizando registros disponer de una estructura de datos con aprovechamiento
eficiente de la memoria. El tipo de dato Cadena se define ahora como un
registro con un campo que es el n
umero de caracteres almacenados y el otro
campo el Array de caracteres. As, para la longitud utilizamos un Integer
y para cada caracter un solo byte.
Program Ocho;
Const
MAXDIM = 300;
Type
Ristra = Array [1..MAXDIM] of Char;
Cadena =
Record
longitud : Integer;
contenido : Ristra;
End;
Var
A,B : Cadena;
Procedure LeeCadena (Var x : Cadena);
Var
i : Integer;
c : Char;
Begin { LeeCadena }
i:= 1;
With x
Do
Begin
Repeat
Read(c);
contenido[i] := c;
i := i+1;
9.5. REGISTROS
119
Until ( EOLN );
longitud := i - 1;
End;
{ Lee los caracteres ASCII 13 (CR) y 10 (LF)
que delimitan el fin de linea
}
Read(c);Read(c);
End; { LeeCadena }
Procedure EscribeCadena ( x : Cadena);
Var
i: Integer;
Begin { EscribeCadena }
For i := 1 to x.longitud Do Write(x.contenido[i] );
End; { EscribeCadena }
{ Procedimiento para unir a la cadena A1 la cadena A2 }
Procedure Concatena ( Var
A1 , A2 : Cadena );
Var
dim1 , i : Integer;
Begin
dim1 := A1.longitud;
For i := 1 To A2.longitud Do
A1.contenido[ dim1 + i ] := A2.contenido[i];
A1.longitud := dim1 + A2.longitud;
End;
Begin
Writeln();
LeeCadena(A);
LeeCadena(B);
Concatena(A,B);
Writeln();
EscribeCadena(A);
End.
Despues de estudiar todos estos tipos de datos definidos por el usuario
120
debe estar mucho mas claro el sentido de los conceptos tipo de dato y variable. Una variable, es un identificador que utiliza el programador para
referirse a un dato y poder realizar operaciones con el. El tipo de dato ha de
especificarse para que el compilador pueda generar codigo UCP en el que se
utilice una cantidad de memoria suficiente para ese dato y estructurada del
modo adecuado. Cuando el programador se enfrenta a la resolucion de un
problema puede pensar en variables para cualquier concepto abstracto que
piense que sea u
til para resolver el problema de un modo claro y comunicable, lo que muchas veces quiere decir de un modo lo mas proximo posible al
lenguaje natural. La restriccion obvia es poder explicitar sin ambig
uedades
la gestion de la memoria del ordenador que ha de realizar el compilador para
almacenar y manipular ese dato. Mediante la estructura Record y Array
el PASCAL ofrece la posibilidad de definir tipos de datos muy proximos a
los utilizados en el lenguaje natural y que son una organizacion precisa de
tipos de datos mas sencillos. En u
ltima instancia, los atomos que van a formar esas estructuras mas complejas son los tipos de datos fundamentales del
PASCAL : Byte , Integer , .... Al final, para una variable, el compilador
reservara lugar en memoria para almacenar un n
umero determinado de bits
de informacion (una sucesion de ceros o unos). El tipo de dato definido para
esa variable va a determinar el modo en el que esos bits van a intervenir en
las operaciones y tambien el modo con en el que el programador se podra
referir a todos esos bits de golpe o a subconjuntos de ellos.
9.6
Uniones
Comprendido lo anterior no debe resultar difcil entender dos posibilidades

avanzadas que permite el PASCAL en la manipulacion de registros, y que
son los registros con variante ( o uniones con discriminacion) y las uniones
libres. En PASCAL es posible dar una definicion dinamica de la composicion
de un registro. Es decir, que los campos que lo componen varen seg
un el
valor de un parametro. Para ello se utiliza la siguiente modificacion de la
estructura Case dentro de la definicion del registro:
Case
nombre : TipodeDato Of
caso1 : ( Especificacion1 );
.
.
.
9.6. UNIONES
121
donde nombre es el identificador elegido para la variable cuyo valor determina la composicion del registro, TipodeDato el tipo de dato de la variable
nombre, caso1,caso2, ... los valores o rango de valores que daran lugar a las
distintas especificaciones del contenido del registro Especificacion1, Especificacion2,... La enumeracion de las opciones no acaba con un End; por que
existe la restriccion de que las variantes se han de colocar en la u
ltima parte
de la definicion de un registro y por tanto acaban con el End; del fin de la
definicion del registro.
Como ejemplo de la utilizacion de los registros con variante vamos a considerar el caso visto anteriormente de la base de datos de alumnos. Supongamos que en el campo de la nota podemos querer guardar en alguna ocasion
en vez de un dato Real una calificacion global como Aprobado y elegimos
para ello un dato String. Una posibilidad es la siguiente modificacion del
caso anterior:
Program Nueve;
Type
Fecha =
Record
dia : 1 .. 31;
agno : Integer ;
End;
Alumno =
Record
nombre : String;
apellidos : String;
nacimiento : Fecha;
Case final : Boolean Of
False : ( nota : Real );
True : ( notaFinal : Real;
calificacion : String[14] );
End;
Var
uno,otro : Alumno ;
Begin
.........................................
122
Instrucciones validas de este programa seran tanto

uno.nota:= 6.8 ;
como,
uno.calificacion := Notable;
y al programador le queda toda la responsabilidad de utilizar una u otra.
Realmente, esta estructura del PASCAL no es muy feliz en el sentido de que
el compilador no verifica el valor de la variable que da acceso a las variaciones
en los campos y su figura es meramente recordatoria para el programador.
Sea cual sea el valor de la variable utilizada para la bifurcacion del tipo
de dato, se puede acceder a la informacion almacenada en el registro con
cualquiera de las variantes. Es responsabilidad exclusiva de programador
utilizar cada campo cuando esta definido. Con las Uniones libres se hace
mas explcito que la utilizacion de los campos alternativos es pura responsabilidad del programador y no se indica identificador para la variable que
gobierna las opciones. Para definir una Union Libre dentro de la definicion
de la estructura Record se especifica la alternativa del modo siguiente:
Case
TipodeDato Of
.
.
.
donde caso1, caso2,... son valores posibles del tipo de dato especificado TipodeDato. Es equivalente a un Registro con variante en el que se omite el
identificador de la variable que gobierna las distintas alternativas.
Esta posibilidad de acceso variable al contenido de un registro es coherente
con lo resumido anteriormente sobre el sentido de variables y tipos de datos.
El compilador reserva para el dato en la memoria un espacio suficiente para
almacenar aquella de las variantes del registro de mayor tama
no. Se rellenara
el espacio de memoria del modo que en cada momento desee el programador y
la eleccion se realiza usando un campo u otro. Igualmente, la interpretacion
de los bits almacenados en esas posiciones de memoria tambien depende
del campo del registro que se utilice, en el caso de que distintos campos
correspondan a distintos tipos de datos.
9.6. UNIONES
123
Las Uniones Libres han de usarse con precaucion para evitar confusiones en la lectura de los programas, pero a veces son las adecuadas para hacer
un programa legible. En el siguiente ejemplo la union entre el tipo de dato
Char y Byte se utiliza para escribir una funcion que convierte un caracter
en el correspondiente n
umero de orden ASCII.
Program Diez;
Var
dato : Char;
Function ElAscii ( x : Char ) : Byte;
Type
Atomo =
{ Union libre de un Char con un Byte }
Record
Case Integer Of
1 : ( car : Char);
2 : ( num : Byte );
End;
Var
y : Atomo;
Begin
y.car := x;
ElAscii := y.num
End;
Begin { Diez }
Readln (dato);
Writeln ( El caracter ,dato , corresponde al ASCII numero : ,
ElAscii(dato) );
End. { Diez }
En la funcion ElAscii el tipo de dato Atomo se define como la union libre
de un Char y un Byte. En este caso, ambos tipos de datos ocupan el
mismo espacio en memoria ( un byte ). La variable y ocupa pues un byte
124
de memoria, pero la sucesion de bits que lo componen puede interpretarse o

bien como un Char o un Byte, dependiendo de como se referencie.
Captulo 10
Ficheros
La entrada y salida de datos desde un programa no tiene porque realizarse
utilizando los dispositivos estandard de entrada y salida (teclado y terminal),
sino que puede realizarse a traves de cualquier periferico. Tambien es posible,
y de hecho es lo mas frecuente, utilizar los dispositivos de almacenamiento
intermedio de datos. Estos dispositivos de almacenamiento de datos reciben
el nombre de archivos o ficheros. Se trata generalmente de porciones de discos
magneticos donde se guarda informacion y se identifican con un nombre cuyo
formato depende del sistema operativo.
10.1
Ficheros con Tipo
Para poder referir todas las entradas y salidas, el PASCAL utiliza un tipo de
dato que se denomina File. Con este tipo de dato se pueden direccionar las
entradas y salidas de los programas a impresoras, dispositivos auxiliares,...
y tambien a archivos. El valor de un dato del tipo File es esencialmente
una direccion a donde se debe dirigir la UCP para transferir datos. El valor concreto es irrelevante para el programador puesto que las instrucciones
que a el se refieren nunca requieren conocerlo. El PASCAL provee un procedimiento que permite asignar a una variable del tipo File la direccion del
dispositivo de entrada o salida que el programador pretende utilizar. Este es
el procedimiento Assign que tiene dos argumentos. El primero es el nombre
de la variable definida del tipo File y el segundo es un dato tipo String que
contiene el nombre con el que el sistema operativo identifica el fichero que se
quiere utilizar. En la instruccion {3} del programa Uno se especifica que
125
126
CAPITULO 10. FICHEROS
con la variable almacen nos referimos al archivo que el sistema operativo

reconoce como Uno.sal . La variable almacen se ha declarado como File
of Byte. En la declaracion se especifica que los datos que se van a leer o
escribir en ese dispositivo son del tipo Byte.
Program Uno;
Var
almacen : File of Byte;
num1,num2,num3,num4 : Byte;
Begin
{1} num1 := 72; num2 := 79;
{2} num3 := 76; num4 := 65;
{3} Assign(almacen,uno.sal);
{4} Rewrite(almacen);
{5} Write(almacen,num1,num2);
{6} Write(almacen,num3,num4);
{7} Close(almacen)
End.
El tipo de dato que va a intercambiarse con un dispositivo especificado con
una variable del tipo File puede ser tanto basico del PASCAL o definido por
el usuario. La transferencia de datos que se puede realizar es tanto entrada
como salida. Para la salida se utilizara el procedimiento Write y para la
entrada el Read. Ambos procedimientos tendran un argumento extra, siempre el primero, que es la variable del tipo File que contiene la identificacion
del periferico al que nos referimos. Por ejemplo, en la instruccion {5} se escriben los valores almacenados en num1 y num2 en el periferico identificado
con almacen, es decir en el archivo uno.sal .
En el programa Uno tambien aparecen las llamadas a dos procedimientos: Rewrite y Close, relacionados con las tareas que se realizan en un
ordenador para transferir datos. Con el primero se especifica que el dispositivo identificado con almacen se va a utilizar para salida de datos. Esta
orden implica la realizacion de tareas que dependen del tipo de dispositivo al
que nos estamos refiriendo. En el caso de archivos se ha de proceder a crear
el archivo. Cuando el dispositivo se va a utilizar como entrada de datos, las
inicializaciones necesarias se realizan con el procedimiento Reset que tambien tiene como argumento la variable del tipo File que se quiere inicializar.
Tambien se utiliza Reset para salida de datos a archivos que ya existen.
10.1. FICHEROS CON TIPO
127
Cuando se acaba de transferir los datos del programa a un archivo hay

que realizar tareas simetricas a las que se realizaron en la inicializacion y que
van dirigidas a liberar el archivo del control ejercido por el programa. En
la instruccion {7} del programa uno se procede a realizar esta liberacion
con el procedimiento Close, que cierra el canal de comunicacion abierto
anteriormente con el procedimiento Reset o Rewrite.
En todo programa que se realiza una entrada o salida de datos a un dispositivo que no es el estandard se han de incluir las ordenes correspondientes
a la asignacion de dispositivo, inicializacion y cierre. El esquema siempre es
Var
.
.
.
identificador File Of TipoDato
.
.
.
Begin
.
.
.
Assign( identificador, FichString);
.
.
.
Rewrite( identificador) { caso de arch. nuevo }
{ o Reset( identificador) (* caso de arch. existente *) }
.
.
.
Close( identificador)
En un mismo programa se puede leer y escribir utilizando diferentes dispositivos y el n
umero maximo de archivos que se pueden estar utilizar al mismo
tiempo esta impuesto por el sistema operativo y no por el lenguaje PASCAL
. Las palabras Rewrite y Reset tienen su origen en el uso de los dispositivos antiguos de almacenamiento intermedio de informacion, que todava
se utilizan hoy en da. Fundamentalmente se trataba de cintas magneticas
que el operador deba o bien poner al principio para ser ledas ( Reset ),
o bien poner al principio y a
nadir el anillo que por seguridad era necesario
para poder escribir en una cinta ( Rewrite ).
Cuando se escriben datos en un archivo, la informacion se escribe exactamente del mismo modo que se almacena en la memoria del ordenador. Por
ejemplo, el dato del tipo Byte 7, se escribira como la secuencia de ceros
y unos 00000111. Por tanto, cuando se lee un dato, se pueden almacenar
directamente en memoria, sin ninguna traduccion, los bits ledos. En la definicion del identificador de la variable del tipo File, el tipo de datos que
se van a transferir se especifica, y esta informacion la utiliza el compilador
128
para verificar que no se procede a la lectura o escritura de datos de tipos distintos al anunciado en la declaracion. Por supuesto, es responsabilidad del
programador leer apropiadamente los bits almacenados en un archivo. Por
ejemplo, si la informacion escrita en una archivo declarado como File Of
Byte se lee en otro programa distinto declarando el archivo como File Of
Char se obtendra una traduccion de n
umeros enteros a los caracteres ASCII
correspondientes. Exactamente lo contrario se consigue si el programa dos
utiliza el mismo archivo uno.sal escrito con el programa Uno como entrada
de datos.
Program Dos;
Var
almacen : File of Char;
num1,num2,num3,num4 : Char;
Begin
Assign(almacen,uno.sal);
Reset(almacen);
Read(almacen,num1,num2);
Read(almacen,num3,num4);
Close(almacen);
Writeln(num1,num2,num3,num4);
End.
La salida del programa dos es :
HOLA
Exactamente el mismo saludo es el que se puede leer en el fichero uno.sal
cuando se edita con un editor de ficheros ASCII como el del Entorno Integrado
de Desarrollo del TURBO PASCAL .
Un dispositivo de entrada-salida se puede definir como File Of cualquier
tipo de dato, incluyendo los definidos por el usuario. Son especialmente u
tiles
los archivos del tipo registro, pues en ellos se pueden almacenar facilmente
datos con la estructura interna requerida por el usuario. Por ejemplo, en el
problema esbozado en el tema anterior sobre una base de datos con informacion sobre alumnos, el mantenimiento de dicha base podra proceder del
siguiente modo:
Program Tres;
10.1. FICHEROS CON TIPO
129
{ Utilidad para actualizar el archivo de alumnos }

{ Solo sirve para agnadir uno nuevo
}
Type
Fecha =
Record
dia : 1 .. 31;
agno : Integer ;
End;
Alumno =
Record
nombre : String;
apellidos : String;
nacimiento : Fecha;
End;
Var
carpeta : File of Alumno;
uno,otro : Alumno ;
respuesta,c : Char;
nomArchi : String;
Begin { Tres }
nomArchi := Archi.dat;
Writeln(A~
no de nacimiento : ); Readln(uno.nacimiento.agno);
Writeln(Desea incorporalo a la base de datos ? (s/n) :);
Readln(respuesta);
If (respuesta = s) Or (respuesta = S) Then
Begin
Assign(carpeta,nomArchi);
Reset(carpeta);
While Not Eof(carpeta) Do Read(carpeta,otro);
Write(carpeta,uno);
Close(carpeta);
130
End; {endif}
End. { Tres }
En este programa se utiliza la funcion Eof que tiene como argumento la
variable del tipo File carpeta. Esta es una funcion del tipo Boolean que
devuelve el valor True si se alcanzado el fin del fichero al que apunta su
argumento. La funcion se utiliza en el programa Tres para recorrer todo el
archivo hasta el final y despues a
nadir el nuevo registro.
El listado de todos los alumnos incluidos en la base de datos se podra
realizar mediante el siguiente programa:
Program Cuatro;
{ Utilidad para listar el archivo de alumnos }
Type
Fecha = Record
mes : 0 .. 12;
dia : 1 .. 31;
agno : Integer ;
End;
Alumno = Record
nombre : String;
apellidos : String;
nacimiento : Fecha;
End;
Var
uno : Alumno ;
nombreCarpeta : String;
Begin { Cuatro }
Writeln( Nombre del archivo donde se almacenan : );
Readln(nombreCarpeta);
Assign(carpeta,nombreCarpeta);
Reset(carpeta);
While Not Eof(carpeta) do begin
Read(carpeta,uno);
With uno Do
Begin
Write(apellidos,, ,nombre);
10.2. PROCESAMIENTO SECUENCIAL Y ALEATORIO
131
If nacimiento.mes <> 0 Then

Writeln(
(,nacimiento.dia,/,nacimiento.mes,/,
nacimiento.agno,));
End
End; {endwhile}
Close(carpeta);
End. { Cuatro }
10.2
Procesamiento secuencial y aleatorio
Tanto en el programa Tres como en el Cuatro se esta realizando un procesamiento secuencial de los archivos. Se inicia la lectura por el primer registro
y se procede hasta llegar al deseado o al final. En el caso del programa
Tres este tipo de procesamiento ha obligado, para llegar hasta el u
ltimo de
los registros, a transferir a memoria el contenido de todos los registros. La
estructura interna de un archivo es lineal y muy parecida a la estructura
Array del PASCAL . Por tanto, debera ser posible acceder a los diferentes
registros sin necesidad de leerlos a la memoria RAM. Esta posibilidad es la
que permite el procedimiento del PASCAL Seek que tiene dos argumentos:
el primero un dato tipo File, y el segundo LongInt. El efecto de esta funcion es preparar el archivo identificado por el dato File para la lectura o
escritura a partir del n
umero de registro que contiene la variable LongInt.
De hecho, dado que los registros se empiezan a contar con el 0, se colocara
pasado el registro indicado por el n
umero LongInt. Por ejemplo, si fichero
se define como File Of Integer, la llamada Seek (fichero, 23) hara que
la siguiente lectura realizada sobre fichero transfiera a la memoria del ordenador el dato Integer con el n
umero de orden 24; se han saltado 46 bytes
del fichero.
Con la posibilidad brindada por el procedimiento Seek se puede realizar
lo que se llama procesamiento aleatorio de ficheros. A pesar del nombre,
esto no tiene nada que ver con el azar, sino que implica leer o escribir en
archivos en un orden distinto que el secuencial. Para explicar la utilidad y
servidumbres de este tipo de procesamiento, vamos a modificar el dise
no de
la base de datos de alumnos sugerida anteriormente. El objetivo es colocar
al principio del fichero un n
umero que nos indique la cantidad de alumnos
incluidos en la lista.
Program IniciaLista;
132
{ Utilidad para inicializar una lista de alumnos }

Type
Fecha =
Record
mes : 0 .. 12; dia : 1 .. 31; agno : Integer ;
End;
Alumno =
Record
Case Boolean of
True : ( nombre : String;
apellidos : String;
nacimiento : Fecha );
False :
( numeroTotal : Integer );
End;
Var
otro : Alumno ;
nomArchi : String;
Begin { IniciaLista }
Writeln(Inicializaci
on de un archivo de alumnos);
Writeln(Nombre del archivo: ); Readln(NomArchi);
Rewrite(carpeta); {Se crea el archivo}
otro.numeroTotal := 0;
{Se inicializa a 0 el numero de orden }
Write(carpeta,otro);
Close(carpeta);
End. { IniciaLista }
En el programa IniciaLista se procede a inicializar la base de datos: se
crea el archivo con el nombre indicado por el usuario y se escribe en el
primer registro el Integer 0 para indicar que no hay todava ning
un alumno
incluido. Como almacen se tiene que definir como un File Of alumno para
poder escribir un entero en el primer registro tenemos que recurrir a una
union libre del registro.
El programa que puede a
nadir un alumno en la base de datos es :
Program AumentaLista;
133
{ Utilidad para agnadir una alumno a una lista }

{ Solo sirve para agnadir UNO }
Type
Fecha =
Record
End;
Alumno =
Record
Case Boolean of
apellidos : String;
False : ( numeroTotal : Integer );
End;
Var
uno,otro : Alumno ;
respuesta : Char;
nomArchi : String;
Begin {AumentaLista}
Writeln(A~
Writeln(Desea incorporarlo a la base de datos ? (s/n) :);
Read(respuesta);
Begin
Reset(carpeta);
Read(carpeta,otro);
Seek(carpeta,otro.numeroTotal+1); {Al final}
Write(carpeta,uno);
134
Seek(carpeta,0); { Al principio }
otro.numeroTotal := otro.numeroTotal + 1;
Write(carpeta,otro);
Close(carpeta);
End; {EndIf}
End. {AumentaLista}
En este programa, para llegar al final del fichero simplemente se saltan los
registros indicados al principio, y se escribe el nuevo. Despues, se vuelve al
principio para aumentar en 1 el contador de registros almacenados.
El listado de los alumnos en la base de datos sera :
Program ListaLista;
{ Utilidad para escribir el archivo de alumnos }
Type
Fecha =
Record
End;
Alumno =
Record
Case Boolean of
apellidos : String;
False :
( numeroTotal : Integer );
End;
Var
i : Integer;
uno,n : Alumno ;
nombreCarpeta : String;
Begin { ListaLista }
Writeln( Nombre del archivo donde se almacenan : );
Readln(nombreCarpeta);
Assign(carpeta,nombreCarpeta);
Reset(carpeta);
Read(carpeta,n);
135
For i := 1 To n.numeroTotal Do
Begin
Read(carpeta,uno);
With uno Do
Begin
Write(i:3, ,apellidos,, ,nombre);
If nacimiento.mes <> 0 Then
Writeln(
(,nacimiento.dia,/,nacimiento.mes,/,
nacimiento.agno,));
End
End; {endfor}
Close(carpeta);
End. { ListaLista }
Con esta nueva definicion de la base de datos de alumnos resulta muy sencillo escribir un programa para corregir errores en alguno de los registros
almacenados.
Program ModificaLista;
{ Utilidad para modificar un alumno en la lista }
Type
Fecha =
Record
End;
Alumno =
Record
Case Boolean of
apellidos : String;
False : ( numeroTotal : Integer );
End;
Var
elemento :Integer;
uno,otro : Alumno ;
136
Respuesta : Char;
nomArchi : String;
Begin {ModificaLista}
Writeln(Numero de orden: ); Readln(elemento);
Writeln(A~
Writeln(Desea incorporalo a la base de datos ? (s/n) :);
Read(respuesta);
Begin
Reset(carpeta);
Read(carpeta,otro);
Seek(carpeta,elemento);
Write(carpeta,uno);
Close(carpeta);
End; {EndIf}
End. {ModificaLista}
En este programa se accede directamente al registro que se quiere modificar
y el usuario lo identifica con el n
umero de orden que aparece en el listado.
Esta labor hubiera sido mucho mas difcil de realizar con un procesamiento
meramente secuencial del archivo.
10.3
Ficheros de Texto
Como se menciono anteriormente, el uso de ficheros de un tipo de dato definido, permite que la informacion se almacene en los archivos del mismo
modo que se escribe en la memoria del ordenador. Por tanto, no es necesario
ninguna traduccion para pasarlos a la memoria RAM. La ventaja de usar
este tipo de archivos es la rapidez en la transferencia de informacion entre
memoria RAM y dispositivos de almacenamiento. El inconveniente es la falta
10.3. FICHEROS DE TEXTO
137
de compatibilidad: para leer correctamente la secuencia de bits escrita por

un programa PASCAL en un fichero con tipo es necesario u otro programa
PASCAL o un programa muy sutil en otro lenguaje que tenga en cuenta
la estructura interna de los datos PASCAL . El modo estandar actual para
transferir informacion es utilizar el codigo de caracteres ASCII almacenados
en un byte con el bit menos significativo a la derecha. Por tanto, si se quiere
escribir en un archivo informacion que sea legible por la mayora de las utilidades que existen com
unmente hoy en da hay que utilizar los datos Char
del PASCAL . Ademas tambien es estandar el modo en el que se especifica
el salto de lnea.
El PASCAL suministra el tipo de fichero llamado Text para definir dispositivos externos a los que se transfiere toda la informacion traducida a
caracteres ASCII. Por ejemplo, los dispositivos estandar de entrada y salida (teclado y terminal TRC) son un ejemplo de Text. Los procedimientos
Readln y Writeln, que no se podan utilizar con los ficheros con tipo se
pueden utilizar con los ficheros de texto y son los que se encargan de gestionar los caracteres ASCII de cambio de lnea (codigos 10 y 13 del ASCII).
Un fichero Text es algo mas que un File Of Char puesto que el compilador se encarga de traducir las ordenes de escritura de todo tipo de datos a
caracteres ASCII y con los formatos que indique el programador.
El programa siguiente:
Program Cinco;
Var
almacen : Text;
saludo : String;
Begin
Assign(almacen,uno.sal);
Reset(almacen);
Readln(almacen,saludo);
Writeln(saludo);
Close(almacen)
End.
tiene la misma salida al terminal que el programa Dos cuando el archivo
Uno.sal es el escrito por el programa Uno. Ejemplos de manipulacion de
ficheros con texto son todos los programas vistos hasta este tema puesto que
toda la entrada y salida de datos se realizaba sobre los dispositivos Input y
Output que son ficheros del tipo Text.
138
La ventaja de portabilidad de los ficheros del tipo Text es a costa de

tiempo de procesamiento y espacio de disco. Antes de pasar un dato de la
memoria a un archivo o viceversa se ha de realizar la traduccion de caracteres
ASCII. Con los dos siguientes programas:
Program Seis;
Uses Dos;
Var
almacen
: File Of Real;
x : Real;
i : Integer;
h1,m1,s1,c1,h2,m2,s2,c2 : Word;
Begin
Assign(almacen,seis.sal);
Rewrite(almacen);
GetTime(h1,m1,s1,c1);
Writeln(h1,:,m1,:,s1,:,c1);
For i := 1 to 10000 Do Begin
x := Random;
Write(almacen,x);
End; {endfor}
Close(almacen)
End.
y,
Program siete;
Uses Dos;
Var
almacen
: Text;
x : Real;
i : Integer;
h1,m1,s1,c1,h2,m2,s2,c2 : Word;
Begin
Assign(almacen,siete.sal);
Rewrite(almacen);
10.3. FICHEROS DE TEXTO
139
For i := 1 to 10000 Do Begin
x := Random;
Writeln(almacen,x);
End; {endfor}
Close(almacen)
End.
se puede comprobar la diferencia entre los dos tipos de transferencia de informacion. En el Seis se escriben los datos Real en un fichero File Of
Real y en el Siete en un fichero Text. El procedimiento GetTime, que se
encuentra en la unidad Dos, devuelve el tiempo en horas, minutos, segundos
y centesimas. Este procedimiento es el que se utiliza en ambos casos para
detectar el tiempo que se emplea en escribir 1000 datos Real. Con la salida
de estos dos programas se puede comprobar que el segundo programa emplea
casi el doble de tiempo que el primero en escribirlos. As mismo, el archivo
Siete.sal que se crea ocupa casi tres veces el espacio ocupado por el fichero
Seis.sal. Este u
ltimo, solo ocupa 60000 bytes puesto que cada Real esta
formado por 6 bytes, y Siete.sal ocupa 190000 bytes puesto que se necesitan
19 caracteres ASCII para describir con el formato estandard cada dato Real
(17 para el n
umero y 2 para el salto de lnea).
Otra desventaja adicional de los ficheros de texto es que solo aceptan
procesamiento secuencial y NO aleatorio.
140
Captulo 11
Punteros y asignaci
on din
amica
de memoria
11.1
Contenidos, direcciones e identificadores
Hasta ahora hemos considerado que los datos almacenados en la memoria

pueden accederse a traves del nombre de variables y constantes. Asumimos
que el nombre de la variable es el indicador que permite al compilador determinar a que dato nos referimos y generar codigo UCP para operar con el.
Cada dato esta almacenado en una posicion de memoria y su contenido se
puede modificar a traves de la relacion unvoca que existe entre el nombre
de la variable y la posicion que el dato ocupa en la memoria del ordenador.
Consideremos un programa tan sencillo como el siguiente:
{1}
{2}
{3}
Program Uno;
Var
a , b : Integer;
Begin { Uno }
Readln(a);
b := a;
Writeln(a:4, ,b:4);
End. { Uno }
en el que se definen las variables a y b para almacenar datos del tipo Integer. En la instruccion {3} se especifica que el dato almacenado en la
141
CAPITULO 11. PUNTEROS
142
posicion de memoria a la que nos referimos con la variable a ha de almacenarse tambien en la posicion de memoria a la que nos referimos con la
variable b.
11.2
Punteros
En ning
un momento se ha hecho explicito en la sintaxis del lenguaje que un
dato esta identificado internamente por una posicion de memoria. Sin embargo, es muy u
til poder manipular los datos realizando algoritmos en los que
tambien interviene la direccion de los datos. Para ello el PASCAL permite
que en los programas aparezca un tipo de dato que son las direcciones de los
datos. Estas direcciones se llaman normalmente punteros, y en un programa
PASCAL pueden intervenir las direcciones de datos que esten definidos. Se
especifica que una variable es un puntero a un tipo de dato con la ayuda del
calificador que se antepone a un identificador.
El dato ^tipodato es el puntero a un dato del tipo tipodato. Por
ejemplo en el segmento de programa :
Type
Fecha =
Record
dia : Integer;
mes : Integer;
End;
Var
a: Integer;
px : ^Real;
pa : Înteger;
pHoy,pAyer : ^Fecha;
.
.
.
se esta declarando que px es un puntero a un dato Real, pa un puntero
a un Integer, y pHoy y pAyer punteros a registros de Fecha. El mismo
calificador sirve para especificar que queremos utilizar el dato almacenado
en la direccion de memoria especificada por el puntero, pero esta vez se a
nade
al final del identificador. Por ejemplo, cuando aparece en una parte posterior
del programa citado anteriormente pHoy^
estamos indicando el contenido
del registro del tipo fecha apuntado por el puntero pHoy. La asignacion
11.2. PUNTEROS
143
.
.
pHoy^ := pAyer^;
.
.
.
.
implica que se almacene en el lugar de memoria indicado por pHoy el dato

almacenado en el registro al que apunta pAyer. Para completar la herramienta es necesario un operador que sea capaz de extraer de una variable su
direccion, y este es el operador que se representa por @. La asignacion:
pa := @a;
es correcta porque pa es el puntero a un Integer y el resultado de operar @
sobre a (que es un Integer ) es tambien el puntero a un Integer.
Una version sofisticada del programa Uno es la siguiente:
{1}
{2}
{3}
{4}
Program Dos;
Var
a ,b : Integer;
pb : Înteger;
Begin { Dos }
a := 10 ;
pb := @a ;
b := pb^ ;
Writeln(a:4, ,b:4);
End. { Dos }
en la que se obtiene exactamente el mismo resultado que en Uno pero con

el uso explcito de direcciones de variables. La variable pb es un puntero a
un Integer, es decir la direccion de un dato Integer, y en la instruccion
{2} se determina que es exactamente la misma que la de la variable Integer
a. En la instruccion {3} se asigna a la variable b el dato almacenado en
la direccion que habamos almacenado en el dato ( puntero ) pb. El dato
almacenado en b sera pues el mismo que el almacenado en a. Las instrucciones {3} y {4} de programa Dos producen el mismo resultado que la {2}
del programa Uno recorriendo un camino mas largo y con una sintaxis menos clara. Pero si este tipo nuevo de dato se introduce en el lenguaje no es
para hacer complicado lo sencillo, sino para aumentar las posibilidades del
lenguaje tal como comentaremos en este tema.
Antes de seguir adelante puede ser ilustrativo considerar el siguiente programa,
144
Program Tres;
Var
a
: String;
pa,pb : ^String;
Begin { Tres }
a := Hola;
{ en a se almacena Hola }
pa := @a;
{ pa apunta a}
pb:= pa;
{ pb apunta a}
writeln(a);
pb^ := Adios;
Writeln(a); { el contenido de a es Adios }
End. { Tres }
en el que se modifica el valor del String a indirectamente a traves del contenido del puntero pb. Las direcciones de memoria que se almacenan en
los datos del tipo puntero, dependeran de cada tipo de ordenador, y en general, el programador puede olvidarse de esos detalles, pues solo utilizara
los punteros para manipular los datos a los que apuntan y evitara asignar
directamente valores numericos a los punteros. Generalmente se asigna a un
puntero el contenido de otro. Hay una excepcion: se trata del valor Nil, ya
que no corresponde a un lugar de memoria y se utiliza para identificar que un
puntero no apunta a ning
un lugar de la memoria. A un puntero, apuntando
a cualquier tipo de dato, siempre se le puede asignar el valor Nil.
Las operaciones que se pueden realizar con los punteros, son asignar y
comparar por igualdad o desigualdad. Con estas comparaciones se puede
discernir la equivalencia de direcciones. Sin embargo, no se pueden comparar
los punteros con los operadores > y <.
Vamos a verificar el motivo de llamar argumentos por referencia o direccion a los argumentos antecedidos por Var en las funciones y procedimientos.
La salida del programa Cuatro,
Program Cuatro;
Type pinte = Înteger;
Var
a ,b ,c: Integer;
DINAMICA
11.3. ASIGNACION
DE MEMORIA.
145
Procedure Cuacua (
x : pinte;
y : Integer;
Var z : Integer
);
Begin
x^ := x^ * x^;
y := y * y ;
z := z * z ;
End;
Begin { Cuatro }
a := 2 ;
b := 3 ;
c := 4 ;
Cuacua(@a,b,c);
Writeln(a:6, ,b:6,
End. { Cuatro }
,c:6);
es,
4
16
El valor de la variable b no se modifica como resultado de la llamada a la

funcion porque es una argumento pasado por contenido. La variable c se
modifica porque se pasa por referencia, y la variable a tambien modifica su
valor porque el argumento es la direccion de a y por tanto en la funcion de
puede modificar el contenido de esa direccion.
11.3
Asignaci
on din
amica de memoria.
Una utilidad de los punteros es poder crear programas que ocupen la cantidad de memoria del ordenador adecuada a cada caso seg
un se determina
durante la ejecucion del programa. Cuando un programa se va a ejecutar, se
carga en la memoria del ordenador y la memoria ocupada por el programa
esta estructurada en varias partes o segmentos. El codigo para la UCP se
carga en memoria en el llamado segmento de codigo. Los datos definidos
en el programa se cargan en el llamado segmento de datos, y hay un tercer
segmento llamado pila (stack) que se reserva para los datos que se han de
146
manipular temporalmente durante la ejecucion del programa, por ejemplo,

para almacenar los valores de las variables que se han de crear para realizar un procedimiento. El resto de la memoria se gestiona como un monton
(heap) y tambien puede estar disponible para el programa.
La funcion New es la que gestiona la captacion para el programa de la
memoria del monton. El argumento de la funcion ha de ser un puntero a
un tipo de dato del PASCAL o definido por el programador, y la funcion
New asigna a ese puntero el valor de una direccion de memoria del monton
con el tama
no adecuado para almacenar un dato del tipo al que apunta
su argumento. En el momento en el que esa porcion de memoria ya no
sea necesaria para el algoritmo codificado en el programa, puede liberarse
del control del programa con la funcion Dispose, que tiene por argumento
el puntero donde se almacena la direccion de la porcion de memoria que
se quiere liberar. A esta gestion de la memoria del ordenador durante la
ejecucion del programa se le llama asignaci
on din
amica de la memoria.
El programa Cinco es una modificacion del Tres en el que la memoria
utilizada para almacenar los saludos no esta en el segmento de datos sino en
el Heap.
Program Cinco;
Var
pa,pb : ^String;
Begin { Cinco }
New(pa);
pa^ := Hola;
pb:= pa;
writeln(pa^);
pb^ := Adios;
Writeln(pa^);
Dispose(pb);
End. { Cinco }
Se reserva la memoria con New antes de almacenar ning
un valor en esa
direccion. La u
ltima instruccion hubiera igualmente podido ser Dispose(pa)
porque ambos punteros almacenan la misma direccion de memoria que se
libera con Dispose. Es mas, la siguiente modificacion es incorrecta por
varios motivos.
11.4. DECLARACIONES RECURSIVAS DE TIPOS DE DATOS
147
Program CincoIncorrecto;
Var
pa,pb : ^String;
Begin { Incorrecto }
New(pa);
pa^ := Hola;
New(pb);
pb:= pa;
writeln(pa^);
pb^ := Adios;
Writeln(pa^);
Dispose(pb);
Dispose(pa);
End. { Incorrecto }
Primero, el programa dara un error en la ejecucion. La u
ltima instruccion
intenta liberar un lugar de memoria que ya ha sido liberado en la llamada anterior a Dispose. Por otra parte, es un ejemplo claro de mal uso de la gestion
dinamica de memoria. La memoria reservada para el programa mediante la
tercera instruccion (256 bytes) no se puede liberar puesto que hemos perdido
la pista de cual era. Es una practica poco recomendable escribir programas
que cuando acaban dejan sin liberar memoria que reservaron del monton.
11.4
Declaraciones recursivas de tipos de datos
La asignacion dinamica de memoria permite crear estructuras de datos que

pueden crecer y disminuir seg
un los requerimientos que el programa detecta
durante la ejecucion. La mas sencilla de ellas es la llamada lista unida. Mediante definicion de punteros a datos en la memoria y uniendolos entre ellos,
se obtienen listas de objetos sin tama
no especfico. Pueden ser listas vacas
o contener miles de datos, crecer y menguar durante la ejecucion del programa. Son estructuras de datos recursivas que se comprenden facilmente con
esquemas, pero primero veremos un ejemplo de como se definen en PASCAL
.
Type
148
Enlace = ^Nodo;
Nodo =
Record
clave : Integer;
siguiente : Enlace
End;
Primero se define el puntero Enlace como la direccion a un dato (todava

sin definir) Nodo y despues se declara cual es el significado del tipo de dato
Nodo. Este es un registro que en su primer campo puede almacenar un
entero y en el segundo un puntero, Enlace, a un dato del mismo tipo Nodo.
La recursividad esta obviamente en la autorreferencia durante la definicion.
Merece la pena destacar que el caso de los punteros es u
nico en el PASCAL
en cuanto a que es posible definir un tipo de dato a partir de otro que
todava no esta definido. Esta flexibilidad es necesaria para poder generar la
recursividad.
Las variables del tipo Nodo van a ser los ladrillos con los que se construira
una lista unida de n
umeros enteros. Cada uno de ellos puede almacenar un
n
umero entero y la direccion del siguiente en la lista.
La lista mas peque
na que podemos tener es de un solo elemento. Para
identificar que nadie le sigue podemos recurrir al valor Nil.
Enlace
Nodo
-Nodo
-Nodo
HH
HH
j
Nil
El dibujo es muy ilustrativo de la estructura de datos llamada lista unida.

Cada elemento de la lista puede almacenar informacion relevante para el
149
problema en la que se utiliza y tambien el enlace con el siguiente vagon.

Para cada elemento de la lista habra que reservar memoria, tanto para la
informacion que se quiere guardar, como para el puntero que sirve de enlace.
Vamos a utilizar en el programa Seis una lista unida para almacenar
en la memoria del ordenador cuantos n
umeros enteros teclee el usuario para
poder luego listarlos en el orden inverso al que se teclearon. La memoria del
ordenador que necesitara el programa Seis para ejecutarse dependera de los
n
umeros que se tecleen. Si son unos pocos sera muy poca la memoria que
tomara, y, el lmite superior de n
umeros que se pueden teclear dependera de
la memoria RAM instalada en el ordenador. Si en vez de una lista unida
hubieramos utilizado una estructura Array para almacenar los enteros, la
memoria debera determinarse al escribir en el programa el rango de variacion
del ndice del Array.
Program Seis;
Type
enlace = ^Nodo;
Nodo =
Record
clave : Integer;
siguiente : Enlace
End;
Var
y,z : enlace;
i : Integer;
Begin
{ Se inicializa la lista }
New(z);
z^.siguiente := Nil;
{El ultimo
elemento apunta a Nil}
{Se leen los datos y se incluyen en la lista }

Readln(i);
While i >= 0 Do
{ Un numero negativo finaliza el proceso}
Begin
New(y);
y^.clave := i;
150
y^.siguiente := z;
z := y;
Readln(i)
End;
{Se escribe la lista}
While (y^.siguiente <> Nil ) Do
Begin
Writeln(y^.clave) ;
z := y^.siguiente;
Dispose(y);
y := z;
End;
Dispose(z)
End.
Para detectar el final de la lista, recurrimos a la direccion Nil. Cuando recorremos la lista para escribir el contenido, nos detenemos cuando un nodo (el
u
ltimo) apunta a esa constante. No hay que olvidar nunca reservar memoria
del Heap para cada elemento nuevo de la lista. De lo contrario, se pueden
obtener resultados impredecibles. Cuando se escribe informacion en la direccion de memoria dictada por un puntero que no ha sido convenientemente
inicializado estaremos escribiendo en un lugar descontrolado y los resultados
son imprevisibles. Dado que los n
umeros tecleados por el usuario se van incorporando a la lista seg
un se teclean, y no guardamos la pista sobre donde esta
el primer elemento almacenado en memoria, solo podemos listar los n
umeros
en el orden inverso al que fueron tecleados. Para listar los n
umeros en el
mismo orden en el que fueron tecleados existen varias posibilidades pero su
analisis queda fuera de los objetivos de este curso. Sin ahondar mucho mas
en las estructuras de datos que se pueden generar con los punteros merece la
pena resaltar la simplicidad y eficiencia de cierta operaciones que se realizan
com
unmente sobre listas unidas. El insertar un nuevo elemento en el lugar
elegido de la lista puede ser algo tan sencillo como :
{un nuevo nodo se crea a continuacion del apuntado por y}
New(z);
z^.clave := i;
z^.siguiente := y^.siguiente;
y^.siguiente := z;
151
y la eliminacion de un nodo :
{Se elimina el nodo a continuacion del apuntado por y}
z:= y^siguiente;
y^.siguiente := y^.siguiente^.siguiente ;
Dispose(z);
Estructuras de datos como listas doblemente unidas, circulares y arboles, son
muy comunes en la realizacion de algoritmos eficientes.
A estas alturas del curso podemos entender perfectamente el programa
llamado Josefo que se estudio en el Tema 3. No obstante, el alumno no
debe esperar que con los conocimientos sobre programacion adquiridos hasta
ahora debera haber dise
nado un programa similar a Josefo para resolver
el problema. Tales dise
nos no aparecen generalmente por intuicion sino como resultado del estudio de las estructuras de datos y algoritmos que se
han desarrollado para diferentes problemas tipo planteados a la ciencia de
la computacion. El objetivo de esta parte del curso era que el alumno comprendiera un programa como el citado y sobre todo que en los programas que
escriba, sean los problemas que resuelvan mas o menos sencillos, utilice la
herramientas aprendidas siguiendo las normas de claridad y estilo referidas
continuamente.

Intro Ducci On Pascal

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Intro Ducci On Pascal

Cargado por

Copyright:

Formatos disponibles

Introducci

Constates con tipo . . . . . . .

9 Datos con estructura

Un ordenador es una maquina dise

Se denominan dispositivos de entrada a todos aquellos que hacen posible

soras, y plotters, pero tambien lo son altavoces, actuadores mecanicos,...

Globalmente a los dispositivos de entrada y salida se les denomina perifericos.

La unidad de memoria esta formada por cientos, miles o millones de

Al contenido de la informacion en general se accede por la direccion de

La unidad de control busca, obtiene, y ejecuta las instrucciones de

Vamos a ver de forma simplificada las acciones a las que da lugar en un

y consideraremos un modelo muy simplificado de un ordenador. Este modelo

La primera instruccion del programa

y en la tercera, la U.C. realiza las siguientes acciones: obtiene los n

En la cuarta instruccion obtiene el n

La quinta instruccion implica que la U.C. obtiene el n

CAPITULO 1. ESQUEMAS BASICOS

La informacion que puede procesar un ordenador es distinta a la que puede

Es equivalente el valor de la variable z a la suma de los valores

Un valor particular de la variable z se obtiene sumando los valores

Este lenguaje se denomina Ensamblador (Assembler) y casi corresponde a

2.4. BREVE HISTORIA DE LOS LENGUAJES

bien lograr que ciertos codigos correspondieran a mas de una instruccion

Breve historia de los lenguajes

los programadores que no todos aceptaron de buen grado. No les gustaba

2.4. BREVE HISTORIA DE LOS LENGUAJES

1956 60 Ordenadores peque

Desde un punto de vista mas general los lenguajes se pueden clasificar en

2.5. TIPOS DE LENGUAJES

A su vez el compilador realiza varias tareas:

Vamos a analizar las caractersticas del procedimiento de resolucion de un

Vamos a ver el significado de todas estas consideraciones con un ejemplo:

Se pretende disponer de un programa en Pascal capaz de proporcionar rapidamente

Especificacion de los datos de entrada.

3.3. EL EJEMPLO DE JOSEFO

{ Lectura del numero de personas en el circulo }

{ Se generan los restantes nodos hasta completar los N nodos}

Especificacion de los algoritmos.

{y la liberacion de la posicion de memoria del nodo completa la}

3.3. EL EJEMPLO DE JOSEFO

{ Se generan los restantes nodos hasta completar los N nodos}

{se avisaria del individuo que seria eliminado }

3.3. EL EJEMPLO DE JOSEFO

{se salta al ejecutor }

El PASCAL es un lenguaje relativamente moderno, desarrollado por Niklaus

Un programa PASCAL es un conjunto de instrucciones que siguen la sintaxis

4.3. PALABRAS RESERVADAS Y ESTRUCTURAS

Palabras reservadas y estructuras

interpretar el programa y no se pueden utilizar con otros fines. Estas palabras

Uses nombre unidades ;

La palabra reservada Uses de la instruccion {4} se utiliza para especificar

4.4. INSTRUCCIONES SENCILLAS Y COMPUESTAS

inicia la declaracion de tipos de datos definidos por el programador, y con

Instrucciones sencillas y compuestas

El cuerpo de instrucciones del procedimiento esta formado por sentencias que

la sentencia {2} es sencilla y esta delimitada por la palabra reservada Then

El principio de la sentencia es el Begin de {4}, y el final el End de {7}.

La forma mas escueta de representar las construcciones sintacticamente validas

Este diagrama ha de leerse siguiendo las fechas de izquierda a derecha y

es incorrecta. Si seguimos el diagrama nos encontramos que despues del

Variables, datos y direcciones

Este es un comienzo valido de programa en el que se especifican datos y

Palabras que empiecen por n