Algoritmos y Programación en Pascal

448 Capítulo 19. Tipos abstractos de datos
• Inyectar(x,d): inserta el elemento x en el extremo posterior de la cola doble
d.
• Expulsar(x,d): elimina y devuelve el elemento que está en el extremo posterior
de la cola doble d.
Programar una unidad de Turbo Pascal para el tipo abstracto de datos cola doble.
19.6 Referencias bibliográficas
En este capítulo se introducen los tipos abstractos de datos, eludiendo las profundidades
formales que hay tras ellos y evitando también dar catálogos exhaustivos de los
tipos abstractos de datos más usuales. En [Mar86, Har89] se estudian los aspectos formales
de los tipos abstractos de datos basados en especificaciones algebraicas. Además,
ambos textos pueden considerarse como catálogos de los tipos abstractos de datos de
más amplia utilización, incluyendo la especificación, implementaciones y aplicaciones
comunes de cada uno de ellos. En [Pn93] se puede encontrar un estudio actual, riguroso
y completo de los tipos abstractos de datos en nuestro idioma, junto con especificaciones
de los más usuales. Igualmente, [HS90] es una lectura obligada en cuanto se aborda el
estudio de tipos abstractos de datos.
Con un enfoque más aplicado, en [LG86, CMM87] se da un tratamiento completo
de los tipos abstractos de datos bien adaptado a Pascal, ofreciendo propuestas de implementación
en este lenguaje.
Por supuesto, los tipos abstractos de datos pueden ser implementados en lenguajes
de programación diferentes de Pascal. De hecho, Pascal estándar no cuenta con mecanismos
apropiados para manejarlos, ya que el concepto de tipo abstracto de datos es
posterior a la creación de este lenguaje. El propio N. Wirth incluyó este concepto en
su Módula2 a través de los módulos, y las unidades de Turbo Pascal no son más que
un remedo (incompleto, por cierto) de este mecanismo. Otros lenguajes con facilidades
para el desarrollo de tipos abstractos de datos son Ada [Bar87], que dispone de paquetes,
y C++ [Str84], haciendo uso de clases. Además, algunos lenguajes proporcionan al
programador técnicas de compilación separada más adecuadas a los tipos abstractos y
sus necesidades que las incompletas unidades de Turbo Pascal.
Finalmente, debemos indicar que el ejercicio 4 está tomado de [Mar86]. Los ejercicios
5, 6 y 7 están tomados de [Wei95].