S S a else := zx E E S S E E while

S
S
S
E
while a < b do
E
if
S
E
E
c < d then x := y
else x := z
S
S.inicio = E1
S.sig ya tiene un valor (XXX)
S.sig = E1
S
S
E
S
E.verdad = E2
E.falso = XXX
while a < b do
E
if
E
E
c < d then x := y
else x := z
S
S.inicio = E1
S.sig ya tiene un valor (XXX)
S.sig = E1
S
S.sig = XXX
S S.sig = XXX
E
E.verdad = E2
E.falso = XXX
while a < b do
E
if
S
E.verdad = E3
E.falso = E4
E
E
c < d then x := y
else x := z
S
S.inicio = E1
S.sig ya tiene un valor (XXX)
S.sig = E1
S
= XXX
S S.sig
S.cod = x:=y
E
E.verdad = E2
E.falso = XXX
E.cod = if a < b goto E2
goto XXX
while a < b do
if
E
E.verdad = E3
E.falso = E4
E.cod = if c < d goto E3
goto E4
E.lugar = y
S.sig = XXX
S.cod = x:=z
S
E.lugar = z
E
E
c < d then x := y
else x := z
S
S.inicio = E1
S.sig ya tiene un valor (XXX)
S
S.sig = E1
S.cod =
if c < d goto E3
goto E4
E3: x := y
goto E1
E4: x := z
= XXX
S S.sig
S.cod = x:=y
E
E.verdad = E2
E.falso = XXX
E.cod = if a < b goto E2
goto XXX
while a < b do
if
E
E.verdad = E3
E.falso = E4
E.cod = if c < d goto E3
goto E4
E.lugar = y
S.sig = XXX
S.cod = x:=z
S
E.lugar = z
E
E
c < d then x := y
else x := z
S
S.inicio = E1
S.sig ya tiene un valor (XXX)
S.cod = E1: if a < b goto E2
goto XXX
E2: if c < d goto E3
goto E4
E3: x := y
goto E1
E4: x := z
goto E1
S
S.sig = E1
S.cod =
if c < d goto E3
goto E4
E3: x := y
goto E1
E4: x := z
= XXX
S S.sig
S.cod = x:=y
E
E.verdad = E2
E.falso = XXX
E.cod = if a < b goto E2
goto XXX
while a < b do
if
E
E.verdad = E3
E.falso = E4
E.cod = if c < d goto E3
goto E4
E.lugar = y
S.sig = XXX
S.cod = x:=z
S
E.lugar = z
E
E
c < d then x := y
else x := z