Diapositiva PPT
2.3. Un ejemplo con el TDA conjunto.
- GEN[Bi] y ELIM[Bi] son calculados por el compilador para cada bloque i.
- DEF_ENT[Bi] y DEF_SAL[Bi] se calculan con los valores anteriores según la fórmula:
DEF_SAL[Bi]:= (DEF_ENT[Bi] - ELIM[Bi]) ? GEN[Bi]
DEF_ENT[Bi]:= ? DEF_SAL[Bp]
- Si no hubieran ciclos el cálculo sería directo.
- Al haberlos, usamos un procedimiento iterativo:
1. Inicializar DEF_ENT[Bi]:= Ø, DEF_SAL[Bi]:= GEN[Bi]
2. Repetir, hasta que no se añadan elementos a DEF_ENT
2.1. Para cada bloque, aplicar la fórmula de DEF_ENT.
2.2. Para cada bloque, aplicar la fórmula de DEF_SAL.
Para todo Bp anterior a Bi