Informatica

Los Tipos Abstractos de Datos

¿Qué son los TAD’s?
•Con los lenguajes de programación estructurados (años 60) surge el concepto de tipo de datos.
•Ese concepto es insuficiente para software agran escala: sólo el compilador restringe el uso de los datos.
•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 suspropiedades.

¿Pero qué son los TAD’s?
•El concepto de 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 sobreimplementación

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

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ánimplementadas las 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•Dada una 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.

Se pueden implementar los TAD’s sólo a partirde la especificación, sin saber para qué se van a usar. Saber qué sin necesidad de para qué.

Establecer la interfaz con el usuario del tipo (“lo que necesita saber el usuario”)
Decir qué es sindecir nada sobre cómo se hace
•Se trata de dar la lista de operaciones necesarias y especificarlas.
•Debe ser precisa, legible y no ambigua

Reusabilidad
•Se pueden utilizar los TAD’s sólo...