Especificación

Sintaxis de un TAD

📖

Operaciones

Las operaciones de un TAD definen las posibles funciones que tenemos disponibles para utilizar la estructura. Estas pueden ser constructoras o observadoras

📖

Operación Parcial

La función no está definida para todos los casos (casos en los que la estructura este vacía)

Tipos de Operaciones de un TAD

Constructoras

📖

Constructoras Generadoras ( TElem → TAD ) Estas operaciones son capaces de crear cualquier valor del tipo del TAD dentro del intervalo de valores posibles, a partir de unos parámetros de entrada

Ejemplo → Dado el TAD números complejos, podemos generar cualquier número complejo a partir de dos números reales con crearComplejo(r:real, i:real)

📖

Constructoras No Generadoras / Modificadoras ( TAD → TAD ) Estas operaciones son capaces de generar un TAD aunque el intervalo de valores posibles está limitado por los parámetros de entrada

Ejemplo → Dado el TAD números complejos, podemos generar un número limitado de los números complejos con multiplicar(c:TComplejo, k:real)

Observadoras

📖

Observadoras Selectoras ( TAD → TElem ) Estas operaciones devuelven la información de un miembro de la estructura que forma el TAD

Ejemplo → Dado el TAD números complejos, podemos obtener la parte imaginaria con im(c:TComplejo):real

📖

Observadoras No Selectoras ( TAD → boolean/integer/real ) Estas operaciones devuelven infomación del TAD o de sus propiedades, pero no de un miembro concreto

Ejemplo → Dado el TAD números complejos, podemos obtener si pertenece al primer cuadrante en coordenadas polares con esQ1(c:TComplejo):boolean

Definición de variables

📖

Variables

Se definen unas variables que se van a usar en la ecuaciones para referirnos a una estructura del tipo del TAD

Semántica de un TAD

📖

Ecuaciones

Establecemos las relaciones y el comportamiento que se da para el TAD mediante la combinación de operaciones generadoras y selectoras, así como caracteres lógicos y booleanos

📖

Ecuaciones de definitud

En esta sección se establecen los valores para los que están definidas las operaciones del TAD

📖

Ecuaciones entre generadoras

Estas ecuaciones se plantean cuando el tipo principal del TAD puede ser obtenido de diversas maneras