Tipo de dato abstracto
Introducción al concepto de TDA
Comparación Procedimiento-TDA:
Definición TDA: Es un modelo matemático con una serie de operaciones definidas sobre ese modelo.
Laspropiedades de generalización y encapsulación, son igualmente aplicables a los tipos de datos abstractos:
Metodología para la definición de un TDA
1 Definir el dominio del TDA en donde tomarávalores una entidad que pertenezca al modelo matemático del TDA.
2 • • Definir los efectos que producen en el dominio del TDA cada una de las operaciones definidas.
3 Especificandosintácticamente las operaciones, indicando las reglas que hay que seguir para hacer referencia a una operación.
4 Especificando semánticamente para conocer que significado o consecuencia tiene cada operación.Dominio de un TDA
Formas para describir el dominio de un TDA:
1 Si el dominio es finito y pequeño, éste puede ser enumerado.
1 Se puede definir constructivamente. Enumerando unoscuantos miembros básicos del dominio y proporcionando reglas para generar o construir los miembros restantes a partir de los enumerados.
Especificación sintáctica de un TDA
Consiste en determinarcomo hay que escribir las operaciones de un TDA, dando el tipo de operandos y el resultado.
Especificación semántica de un TDA
1. Una forma de especificar el significado de las operaciones seríamediante el lenguaje natural.
2. Notación algebraica: Consiste en dar un conjunto de axiomas verificados por las operaciones del TDA.
3. Modelos abstractos: Este método se basa en el hechode que podemos describir el dominio de un tipo en términos de otro tipo y, entonces, usar las operaciones del segundo tipo para describir las operaciones del que estamos definiendo.
Uso de los TDAen Programación
El programador debe realizar una tarea similar a la que hemos descrito para el constructor del compilador. El proceso sería el siguiente:
1 1. Determinar, ante un...
Regístrate para leer el documento completo.