Algoritmos y Programación en Pascal

440 Capítulo 19. Tipos abstractos de datos
19.3 Metodología de la programación de tipos
abstractos de datos
En los apartados anteriores se han introducido los tipos abstractos de datos
de un modo paulatino, práctico e informal. Es necesario, y es lo que se hace en
este apartado, precisar las ideas generales introducidas y presentar los aspectos
necesarios para la correcta utilización de los tipos abstractos de datos como
método de programación.
Siguiendo las ideas de J. Martin [Mar86], se puede definir un tipo abstracto
de datos como un sistema con tres componentes:
1. Un conjunto de objetos.
2. Un conjunto de descripciones sintácticas de operaciones.
3. Una descripción semántica, esto es, un conjunto suficientemente completo
de relaciones que especifiquen el funcionamiento de las operaciones.
Se observa que, mientras en el apartado anterior se describían los tipos
abstractos de datos como un conjunto de objetos y una colección de operaciones
sobre ellos, ahora se subraya la descripción de la sintaxis y la semántica de esas
operaciones.
Esto es necesario dado que la esencia de los tipos abstractos de datos es que
sus propiedades vienen descritas por su especificación, y, por tanto, es necesario
tratar ésta adecuadamente.
Además, este tratamiento riguroso de las especificaciones de los tipos abstractos
de datos permite ahondar en la filosofía expuesta al comienzo del tema:
separar qué hace el tipo abstracto de datos (lo cual viene dado por la especificación)
de cómo lo lleva a cabo (lo que se da en su implementación). Estos dos
aspectos se repasan brevemente en los dos siguientes apartados.
19.3.1 Especificación de tipos abstractos de datos
A la hora de afrontar la especificación de un tipo abstracto de datos se dispone
de diversos lenguajes variando en su nivel de formalidad. En un extremo,
se tiene el lenguaje natural, en nuestro caso el español. Las especificaciones
así expresadas presentan importantes inconvenientes, entre los que destacan su
ambigüedad (que puede llegar a inutilizar la especificación, por prestarse a interpretaciones
incorrectas y/o no deseadas), y la dificultad para comprobar su
corrección y “completitud”.