Tipos Abstractos de Datos
TADs (Tipos Abstractos de Datos)
Son un conjunto de valores (dominio o género) + un conj. de operadores en ese dominio + las propiedades que determinarán inequívocamente su comportamiento
Matemáticamente hablando un TAD es un álgebra heterogenea.
El uso de TADs para llevar a cabo esa abstracción tiene las siguientes ventajas:
- No requieren alta sofisticación matemática.
- Son muy flexibles (permiten modelar casi cualquier situación).
- Son generales (originariamente no fueron concebidos asociados a una metodología en particular)
Es necesario utilizar una notación formal para describir el comportamiento de las operaciones.
El calificativo “abstracto” responde al hecho de que los valores de un tipo sólo pueden ser manipulados mediante sus operaciones, conociendo únicamente sus propiedades, sin que sea necesario ningún conocimiento adicional sobre la representación del tipo o la implementación de dichas operaciones.
La manipulación de los objetos de un tipo solo depende del comportamiento descrito en su especificación y es independiente de su implementación. La especificación de un TAD consiste en establecer las propiedades que lo definen. Una especificación ha de ser precisa, general, legible y no ambigua. La especificación de un tipo define totalmente su comportamiento a cualquier usuario que lo necesite.
La implementación de un TAD consiste en determinar una representación para los valores del tipo y en codificar sus operaciones a partir de esta representación, todo ello utilizando un lenguaje de programación. La implementación ha de ser estructurada, eficiente y legible. Una implementación del TAD es totalmente transparente a los usuarios del tipo y no se puede escribir hasta haber determinado claramente su especificación.
La resolución de problemas a través de TAD’s consiste en:
- Identificar los distintos tipos de datos que intervienen en el sistema que buscamos desarrollar, así como sus interacciones y forma de composición.
- Caracterizar cada tipo de datos en función de las operaciones que se puedan realizar con los objetos de los distintos tipos (haciendo abstracción de sus representaciones concretas).
Para mas información acceder a Apunte TADs Algoritmos II Segundo Cuat. 2006
