TDA: tipos de datos abstractos

TDA: tipos de datos abstractos

Elementos de un TDA:
* tipos de datos
* operaciones
* axiomas
* pre-condiciones

Tipos de datos:
* no deben rejírse por la propiedad física de los datos.
* los tipos estructurados deben manejarse en forma independiente.
* no necesariamente todos los valores posibles para el tipo de dato base lo sera para el TDA.

Operaciones:
* las op deben ser el único medio de acceder a los datos (concepto de interfase)
* el conjunto de las op deben ser lo menos posibles para disminuir "la superficie de contacto", es decir, los puntos de dependencia del TDA
* los nombres de las op deben ser establecidas

Axiomas:
* los axiomas son proposiciones lógicas que deben cumplirse siempre
* describen las características generales del TDA sin exponer las implementaciones

Pre-condiciones:
* proposiciones lógicas que deben ser verdaderas antes de la invocación de una operación
* reflejan la realidad de que no todos los estados posibles son lógicos para el TDA
* deben expresarse en términos (op.) que estén disponibles siempre que la operación este disponible

Espero que sea útil..


mas informacion: http://es.wikipedia.org/wiki/Tipo_de_dato_abstracto