Algoritmos y Programación en Pascal

432 Capítulo 19. Tipos abstractos de datos
informalmente como una colección de objetos con un conjunto de operaciones
definidas sobre estos objetos. Se tendrá siempre en cuenta la filosofía de la
abstracción de datos: todas las características del tipo abstracto vienen dadas por
su definición y no por su implementación (de la que es totalmente independiente).
En el ejemplo anterior, es evidente que la aplicación de la abstracción de
datos conducirá a un tipo abstracto: 2
type
tConj = Abstracto
cuyos objetos son precisamente conjuntos con un número arbitrario de elementos
enteros que se podrán manipular con las siguientes operaciones: 3
procedure CrearConj (var conj: tConj);
{Efecto: conj:= ∅}
procedure AnnadirElemConj (elem: integer; var conj: tConj);
{Efecto: conj:= conj ∪ [elem]}
procedure QuitarElemConj (elem: integer; var conj: tConj);
{Efecto: conj:= conj \ [elem]}
function Pertenece (elem: integer; conj: tConj): boolean;
{Dev. True (si elem ∈ conj) o False (en otro caso)}
procedure EscribirConj (conj: tConj);
{Efecto: escribe en el output los elementos de conj}
function EstaVacioConj(conj: tConj): boolean;
{Dev. True (si conj = ∅) o False (en otro caso)}
Como se dijo anteriormente, una característica esencial de los tipos abstractos
de datos es su independencia de la implementación. En este momento, y sin
saber nada en absoluto acerca de la forma en que está implementado (o en que
se va a implementar) el tipo tConj, se puede utilizar de una forma abstracta,
siendo más que suficiente la información proporcionada por la especificación de
las operaciones del tipo. Además, se podrá comprobar inmediatamente cómo el
código obtenido es más claro, fácil de mantener y verificar. La nueva versión del
programa CribaEratostenes es la siguiente:
2 Acéptese esta notación provisional, que se detalla en el apartado 19.2.3.
3 En los casos en los que se ha considerado conveniente, se ha sustituido la postcondición por
una descripción algo menos formal del efecto del subprograma.