Los tipos Abstractos de datos

Los Tipos Abstractos de Datos
Estructuras de Datos y Algoritmos
03/04

• ¿Qué son los TAD’s?
• Metodología de programación con TAD’s
• Especificación Algebraica de TAD’s

¿Qué son losTAD’s?
• Con los lenguajes de programación estructurados
(años 60) surge el concepto de tipo de datos.
• Ese concepto es insuficiente para soft a gran
escala: sólo el compilador restringe el uso de losdatos.
• En los 70 aparece el concepto de TAD: un tipo de
datos no sólo es el conjunto de valores, sino
también sus operaciones con sus propiedades.

¿Pero qué son los TAD’s?
• El conceptode TAD ya existe en los lenguajes de
programación estructurados: los tipos predefinidos.
Ejemplo:
Definición del tipo de datos de los enteros en ADA
– valores: los del intervalo[INTEGER’FIRST,INTEGER’LAST]
– operaciones: +, -, *, /, resto, módulo, valor absoluto, exp.
– propiedades de las operaciones: a+b=b+a, ...
No hay que saber nada sobre implementación

Definición de TAD
• Un TipoAbstracto de Datos es un conjunto de
valores y de operaciones definidos mediante una
especificación independiente de cualquier
representación.
TAD = valores + operaciones

Definición de TAD
•La manipulación de un TAD sólo depende de su
especificación, nunca de su implementación.
Para manipular los enteros nos olvidamos de cómo se
representan los valores y de cómo están
implementadaslas operaciones.

Ejemplo de TAD
• Los números complejos con las operaciones de
suma, producto, parte real y parte imaginaria
¿Cómo lo especificamos?

Especificación / implementación
• Dadauna especificación de TAD hay muchas
implementaciones válidas.
• Un cambio de implementación de un TAD es
transparente a los programas que lo utilizan.

Trabajando con TAD’s
• Se puedenimplementar los TAD’s sólo a partir de la
especificación, sin saber para qué se van a usar.
Saber qué sin necesidad de para qué.
Reusabilidad
• Se pueden utilizar los TAD’s sólo conociendo la...