Algoritmos y Programación en Pascal

430 Capítulo 19. Tipos abstractos de datos
19.2.1 Desarrollo de programas con tipos concretos de datos
Una vez detallado este nivel de refinamiento, se tiene que tomar una decisión
sobre el modo de representar los conjuntos. Las posibilidades son múltiples: con
el tipo set en Pascal, con listas enlazadas, etc.
En este apartado se presenta una implementación del diseño anterior, representando
un conjunto de enteros en una lista enlazada con cabecera, con los
elementos ordenados ascendentemente y sin repeticiones. Desde el nivel de refinamiento
alcanzado en el apartado anterior se puede pasar directamente a la
implementación:
Program CribaEratostenes (input, output);
{PreC.: input = [un entero, >=2]}
type
tConjunto = ^tNodoEnt;
tNodoEnt = record
elem: integer;
sig: tConjunto
end; {tNodoEnt}
var
cota, e, coef: integer;
conjunto, aux, puntPrimo, auxElim: tConjunto;
begin
{Leer cota:}
Write(’Cota: ’);
ReadLn(cota);
{Generar el conjunto inicial, [2, ..., cota]:}
New(conjunto);
aux:= conjunto;
for e:= 2 to cota do begin
New(aux^.sig);
aux:= aux^.sig;
aux^.elem:= e
end; {for i}
aux^.sig:= nil;
{Eliminar los números no primos del conjunto:}
puntPrimo:= conjunto^.sig;
repeat
e:= puntPrimo^.elem;
coef:= 2; aux:= puntPrimo;
while (e * coef