Sesión 03: Representación de datos abstractos¶
TAD¶
¿Que es un TAD?
- Tipo abstracto de dato
- Es cualquier tipo de dato que podamos reresentar con una especificación RECURSIVA
\[
\lceil 0 \rceil \in \mathbb{N}
\]
pred(n) = n - 1
succ(n) = n + 1
Partes de un TAD
- Implementación: Cómo están estructurados los datos
- Interfaz: Operaciones que nos ofrece el tipo de dato
Interfaz
- Procedimientos constructores: Me permite construir un tipo de dato
- Procedimientos observadores:
- Predicados: Consultar si el dato corresponde a una variante
- Extractores: me permite entraer información de mi TAD
Receta para diseño de TAD
- Incluya un constructor para cada variante
- Incluya un predicado para cada variante
- Incluya un extracto para cada parte de cada variante