Abstract:
|
En trabajos anteriores de había presentado un nuevo modelo, funcional y constructivo, para la especificación de tipos estructurados de datos. En este trabajo se extiende el modelo con la definición del concepto de estructuración de datos ó tipo estructurado dependiente de parámetros.
Para ello se definen los conceptos de estructura de datos libre, como una estructura en la que al menos uno de sus conjuntos de datos es variable, y de modificación libre, como una modificación sobre el tipo generalizado de una estructura libre. A partir de ahí se define el concepto de estructuración de datos como el de un tipo estructurado de datos cuya estructura inicial y cuyas especificaciones son llbres y cumplen una determinada propiedad de independencia.
El concepto de estructuración de datos representa una abstracción del concepto de tipo estructurado de datos. Así de acuerdo con el modelo definido en trabajos anteriores, la especificación de los tipos estructurados pila d enteros y pila de caracteres debía de hacerse independientemente, ahora bastará definir la estructuración pila de T y efectuar la sustitución de T por los tipos enteros y caracteres para obtener ambas especificaciones. |