Ejercicio 18


Sea la siguiente estructura para representar diccionario(α, β):
dicc(α, β) se representa con estr
donde estr es tupla(claves: secu(α), valores: secu(β))
a) Escribir con sus palabras cómo puede pensarse esta estructura para reprensentar diccionarios. Escribir una función de abstracción que explique este mapeo.
b) ¿Qué restricciones son necesarias para que la función anterior tenga sentido? Escribir el invariante de repre- sentación para esta estructura.