Tad informatica

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 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 soft a gran 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 sus propiedades.

¿Pero qué son los TAD’s?
• El concepto de TAD ya existeen 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 Tipo Abstracto de Datos esun 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 TADsó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 implementadas las operaciones.

Ejemplo deTAD
• 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 haymuchas implementaciones válidas. • Un cambio de implementación de un TAD es transparente a los programas que lo utilizan.

Trabajando con TAD’s
• Se pueden implementar los TAD’s sólo a partir de laespecificació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 especificación. Saber qué sin necesidad de...