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