Contents
(
x
): Example 4
/9
30/42
1)
Contents
(
<
E
>
) =
{
E
’
®
E
·
,
E
®
E
·
+
T
}:
E
®
E
·
+
T
Î
Contents
(
<
E
>
)
&
<
E
+
>
Î
Q
G’expr1
:
add
Closure
(
E
®
E
+
·
T
) =
{
E
®
E
+
·
T
,
T
®
·
T
*
F
,
T
®
·
F
,
F
®
·
(
E
)
,
F
®
·
i
}
to
Contents
(<
E
+
>)
2)
Contents
(
<
T
>
) =
{
E
®
T
·
,
T
®
T
·
*
F
}:
T
®
T
·
*
F
Î
Contents
(
<
T
>
)
&
<
T
*
>
Î
Q
G’expr1
:
add
Closure
(
T
®
T
*
·
F
) =
{
T
®
T
*
·
F
,
F
®
·
(
E
)
,
F
®
·
i
}
to
Contents
(<
T
*
>)
3)
Contents
(
<
F
>
) =
{
T
®
F
·
}:
E
®
E
·
:
nothing
E
®
T
·
:
nothing
T
®
F
·
:
nothing