BLOCO BASICO 0 m = 1 i = m - 1 j = m a = v BLOCO BASICO 1 i = i + 1 j = j - 1 L4 = i < 10 BLOCO BASICO 2 goto L3 BLOCO BASICO 3 a = u goto L3 BLOCO BASICO 4 i = u goto L1 BLOCO BASICO 5 //Ricardo: Criacao de blocos basicos OK! PREDECESSORES BLOCO BASICO 1 BLOCO BASICO 2 L? L3 L4 BLOCO BASICO 3 L1 L3 BLOCO BASICO 4 L? L3 BLOCO BASICO 5 L2 L? L1 BLOCO BASICO 6 L1 L? //Ricardo: O calculo de predecessores esta' equivocado! B0 nao e' predecessor //de B1? CONJUNTO GEN BLOCO BASICO 1 d0 d1 d2 d3 BLOCO BASICO 2 d4 d5 d6 BLOCO BASICO 3 d7 BLOCO BASICO 4 d8 d9 BLOCO BASICO 5 d10 d11 BLOCO BASICO 6 CONJUNTO KILL BLOCO BASICO 1 d4 d10 d5 d8 null BLOCO BASICO 2 d1 d10 d2 null BLOCO BASICO 3 d9 null BLOCO BASICO 4 d3 d7 null BLOCO BASICO 5 d1 d4 null BLOCO BASICO 6 null //Ricardo: O que e' algo null? Por que B0 nao aparece? CONJUNTO IN BLOCO BASICO 1 d0 d1 d2 d3 BLOCO BASICO 2 d4 d5 d6 d0 d1 d2 d3 d10 d11 BLOCO BASICO 3 d7 d4 d5 d6 d10 d11 BLOCO BASICO 4 d8 d9 d10 d11 BLOCO BASICO 5 d10 d11 d8 d9 d4 d5 d6 BLOCO BASICO 6 d4 d5 d6 CONJUNTO OUT BLOCO BASICO 1 d0 d1 d2 d3 BLOCO BASICO 2 d4 d5 d6 BLOCO BASICO 3 d7 BLOCO BASICO 4 d8 d9 BLOCO BASICO 5 d10 d11 BLOCO BASICO 6