Diapositiva PPT
La descripción formal constará de cuatro partes:
NOMBRE. Nombre genérico del TAD.
CONJUNTOS. Conjuntos de datos que intervienen en la definición.
SINTAXIS. Signatura de las operaciones definidas.
SEMÁNTICA. Indica el significado de las operaciones, cuál es su resultado.
1.3. Especificaciones formales.