Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tda PDF
Tda PDF
Definición
Informalmente se puede decir que un tipo de dato abstracto (TAD) es un tipo de dato, que se agrega al lenguaje
de programación, para representar un tipo de elemento involucrado en el problema que se quier resolver. De esta
forma se hace que el lenguaje se acerque al mundo del problema, manejando los elementos que allí se encuentran.
Por ejemplo si se va a desarrollar software para administrar las calificaciones de los estudiantes de la universidad,
los TAD Curso, Estudiante, Calificación, Lista, etc. van a permitir expresar la solución del problema planteado en
términos más sencillos, fáciles de mantener y probar.
Desde un punto de vista más formal, se define un TAD como una estructura algebraica compuesta por un
conjunto de objetos abstractos, que modelan elementos del mundo, y un conjunto de operaciones para su
manipulación, las cuales simulan el comportamiento que el elemento modelado tiene en el mundo del problema.
Para esto, lo primero que se hace es dar nombre y estructura a los elementos a través de los cuales se puede
modelar el estado interno de un objeto abstracto, utilizando algún formalismo matemático o gráfico.
El invariante de un TAD
El invariante de un TAD establece una noción de validez para cada uno de sus objetos abstractos, en términos de
condiciones sobre su estructura interna y sus componentes. Esto es, indica en qué casos un objeto abstracto
modela un elemento posible del mundo del problema. Por ejemplo para un TAD matriz el invariante debe exigir
que tanto el número de renglones como el de columnas sean mayores a cero.
Especificación de un TAD
Un TAD se define con un nombre, un formalismo para expresar un objeto abstracto, un invariante y un conjunto
de operaciones sobre este objeto. Por lo regular se utiliza una tabla para especificar cada uno de los elementos
que compone un TAD.
Las operaciones de un TAD se pueden clasificar en 3 grupos, según su función sobre el objeto abstracto:
- Constructoras: se encarga de crear los elementos del TAD
- Modificadora: puede alterar el estado de un elemento del TAD, sin afectar el invariante del TAD.
- Analizadora: no altera el estado de los elementos del TAD, solo lo consulta o utiliza.
Bibliografía: