Diapositiva PPT
Tipos de operaciones:
- Constructores. Conjunto mínimo de operaciones del TAD, a partir del cual se puede obtener cualquier valor del tipo T.
c1: ? T, c2: V ? T, c3: V1x...xVn ? T
- Modificación. A partir de un valor del tipo obtienen otro valor del tipo T, y no son constructores.
m1: T ? T, m2: TxV ? T, m3: V1x...xVn ? T
- Consulta. Devuelven un valor que no es del tipo T.
o1: T ? V, o2: TxV ? V’, m3: V1x...xVn ? Vn+1
1.3. Especificaciones formales.