Zkr. vyh.: Přímé generování kódu 4
/
5
56/69
E
i
®
not
E
j
{
E
j
.
true
:=
E
i
.
false
;
E
j
.
false
:=
E
i
.
true
}
E
j
not
E
i
E
i
.true
E
i
.false
E
j
.true
E
j
.false
Ilustrace:
E
i
®
(
E
j
)
{
E
j
.
true
:=
E
i
.
true
;
E
j
.
false
:=
E
i
.
false
}
E
i
®
id
j
{
generate
“
i
f
id
j
.
val
goto
E
i
.
true
”;
generate “
goto
E
i
.
false
”
}