Diapositiva PPT
2.3. Un ejemplo con el TDA conjunto.
Para cada bloque tenemos definidos los conjuntos:
- GEN[Bi]: instrucciones de asignación del bloque i (vigentes al final del mismo).
- ELIM[Bi]: instrucciones (de otros bloques) que modifican variables x, modificadas por el bloque i.
- DEF_ENT[Bi]: instrucciones (de cualquier bloque) vigentes a la entrada del bloque i.
- DEF_SAL[Bi]: instrucciones (de cualquier bloque) vigentes a la salida del bloque i.