Algoritmos y Programación en Pascal

19.2. Un ejemplo completo 431
aux^.sig:= auxElim;
coef:= coef + 1
end {else if}
else if aux^.sig^.elem > coef * e then
coef:= coef + 1
end; {while}
puntPrimo:= puntPrimo^.sig
until (e >= Sqrt(cota)) or (puntPrimo = nil);
{Escribir los números del conjunto:}
aux:= conjunto^.sig;
while aux nil do begin
Write(aux^.elem:4);
aux:= aux^.sig
end; {while}
WriteLn
end. {CribaEratostenes}
Queda claro que a partir del momento en que se ha adoptado esta representación,
quedan mezclados los detalles relativos al algoritmo (Criba de Eratóstenes)
con los relativos a la representación (lista enlazada . . . ) y manipulación de los
conjuntos de enteros. Este enfoque acarrea una serie de inconvenientes, como
son:
• El código obtenido es complejo, y, en consecuencia, se dificulta su corrección
y verificación.
• El mantenimiento del programa es innecesariamente costoso: si, por ejemplo,
se decidiese cambiar la estructura dinámica lineal por una de manejo
más eficiente, como podrían ser los árboles binarios de búsqueda, se debería
rehacer la totalidad del programa. Dicho de otro modo, es muy difícil
aislar cambios o correcciones.
• En el caso en que se necesitasen conjuntos sin restricciones de cardinal
en otros programas, sería necesario volver a implementar en éstos todas
las tareas necesarias para su manipulación. En otras palabras, no hay
posibilidad de reutilizar código.
Estos inconvenientes son los que se pretende superar con los tipos abstractos
de datos.
19.2.2 Desarrollo de programas con tipos abstractos de datos
Una forma de solucionar los problemas enunciados anteriormente es el empleo
de la abstracción de datos. Así, se definirá un tipo abstracto de datos, entendido