Los Tipos Abstractos de Datos

Estructuras de Datos y Algoritmos 03/04

 Qu son los TADs? Metodologa de programacin con TADs Especificacin Algebraica de TADs

Qu son los TADs?

Con los lenguajes de programacin estructurados (aos 60) surge el concepto de tipo de datos. Ese concepto es insuficiente para soft a gran escala: slo el compilador restringe el uso de los datos. En los 70 aparece el concepto de TAD: un tipo de datos no slo es el conjunto de valores, sino tambin sus operaciones con sus propiedades.

Pero qu son los TADs?

El concepto de TAD ya existe en los lenguajes de programacin estructurados: los tipos predefinidos. Ejemplo: Definicin del tipo de datos de los enteros en ADA valores: los del intervalo [INTEGERFIRST,INTEGERLAST] operaciones: +, -, *, /, resto, mdulo, valor absoluto, exp. propiedades de las operaciones: a+b=b+a, ... No hay que saber nada sobre implementacin

Definicin de TAD
Un Tipo Abstracto de Datos es un conjunto de valores y de operaciones definidos mediante una especificacin independiente de cualquier representacin. TAD = valores + operaciones

Definicin de TAD
La manipulacin de un TAD slo depende de su especificacin, nunca de su implementacin. Para manipular los enteros nos olvidamos de cmo se representan los valores y de cmo estn implementadas las operaciones.

Ejemplo de TAD
Los nmeros complejos con las operaciones de suma, producto, parte real y parte imaginaria Cmo lo especificamos?

Especificacin / implementacin
Dada una especificacin de TAD hay muchas implementaciones vlidas. Un cambio de implementacin de un TAD es transparente a los programas que lo utilizan.

Trabajando con TADs

Se pueden implementar los TADs slo a partir de la especificacin, sin saber para qu se van a usar. Saber qu sin necesidad de para qu. Reusabilidad Se pueden utilizar los TADs slo conociendo la especificacin. Saber qu sin necesidad de cmo Seguridad

Trabajando con TADs

Se puede cambiar la implementacin un TAD utilizado a otra ms eficiente. Se pueden implementar los TADs por separado y despus integrarlos. Legibilidad Diseo modular Organizacin del trabajo Correccin Esto facilita el mantenimiento. Modificabilidad

Trabajando con TADs

Se puede cambiar la implementacin un TAD utilizado a otra ms eficiente. Se pueden implementar los TADs por separado y despus integrarlos. Legibilidad Diseo modular es mejor que el Organizacin del trabajo diseo descendente Correccin Esto facilita el mantenimiento. Modificabilidad

Trabajando con TADs

Se puede demostrar la correccin de una implementacin a partir de su especificacin. Ms til, se pueden generar prototipos a partir de la especificacin algebraica

Ejercicios
Especificar (no formalmente) los siguientes TADs Cadenas de caracteres Fechas

Programar con TADs

Estructuras de Datos y Algoritmos 03/04

Definicin de TAD
Un Tipo Abstracto de Datos es un conjunto de valores y de operaciones definidos mediante una especificacin independiente de cualquier representacin. TAD = valores + operaciones

Programar con TADs

1. Especificacin: Establecer la interfaz con el usuario del tipo (lo que necesita saber el usuario) Decir qu es sin decir nada sobre cmo se hace Se trata de dar la lista de operaciones necesarias y especificarlas. Debe ser precisa, legible y no ambigua Nosotros usaremos especificacin algebraica

Ejemplo de especificacin (1)

espec booleanos gneros bool operaciones verdad: bool falso: bool _: bool bool __,__: bool bool bool

Ejemplo de especificacin (1)

ecuaciones b: bool; verdad = falso falso = verdad verdad falso = verdad b verdad = verdad b falso = b b verdad = b b falso = falso fespec

Ejemplo de especificacin (1)

espec booleanos conjunto de valores gneros bool operaciones verdad: bool falso: bool _: bool bool __,__: bool bool bool

Ejemplo de especificacin (1)

espec booleanos gneros bool operaciones operaciones verdad: bool falso: bool _: bool bool __,__: bool bool bool

Ejemplo de especificacin (1)

ecuaciones b: bool; propiedades de las operaciones verdad = falso falso = verdad verdad falso = verdad b verdad = verdad b falso = b b verdad = b b falso = falso fespec

Ejemplo de especificacin (2)

espec conjuntos usa booleanos,caracteres,naturales gnero conjcar operaciones vaco: conjcar poner: carcter conjcar conjcar __: conjcar conjcar conjcar __: conjcar conjcar conjcar __: carcter conjcar booleano

...

Ejemplo de especificacin (2)

ecuaciones A,B: conjcar;c,c1,c2:carcter Avaco = A Aponer(c,B) = poner(c,AB) Avaco = vaco cA Aponer(c,B) = poner(c,AB) cA Aponer(c,B) = AB cvaco = falso

...
fespec

Programar con TADs

2. Implementacin: Elegir la representacin de los valores Implementar las operaciones Debe ser estructurada, legible y eficiente

Implementacin
Una propiedad deseable es la encapsulacin. Representacin privada: el usuario no conoce los detalles de la implementacin. Tipo protegido: El usuario slo puede utilizar las operaciones previstas. ADA es muy adecuado, tiene buena encapsulacin.

package conjCaracteres is type conjcar is private; procedure vacio(A:out conjcar); function esVacio(A:in conjcar) return boolean; procedure poner(c:in character; A:in out conjcar); procedure quitar(c:in character; A:in out conjcar); function pertenece(c:in character; A:in conjcar) return boolean; procedure union(A,B:in conjcar; C:out conjcar); procedure interseccion(A,B:in conjcar; C:out conjcar); function cardinal(A:in conjcar) return integer; private ... end conjCaracteres;

generic type ind is (<>); -- cualquier tipo discreto type elem is private; -- cualquier tipo with function ">"(a,b:elem) return boolean; package ordenacion_g is type vector is array(ind range <>) of elem; procedure ordena(v:in out vector); end ordenacion_g;

with ordenacion_g; procedure titi is type color is (rojo,azul,gris); type dia is (lu,ma,mi,ju,vi,sa,dom); package miord is new ordenacion_g(dia,color,">"); use miord; x:vector(ma..vi):=(gris,azul,rojo,gris); begin ... ordena(x); ... end titi;