Contents
(
x
): Příklad 8
/9
34/42
8
)
Contents
(
<
(
E
>
) =
{
F
®
(
E
·
)
,
E
®
E
·
+
T
}
F
®
(
E
·
)
Î
Contents
(
<
(
E
>
)
&
<
(
E
)
>
Î
Q
G’expr1
:
přidej
Closure
(
E
®
(
E
)
·
) =
{
F
®
(
E
)
·
} do
Contents
(<
(
E
)
>)
E
®
E
·
+
T
Î
Contents
(
<
(
E
>
)
avšak
<
(
E
+
>
Ï
Q
G’expr1
:
nic
9
)
Contents
(
<
E
+
T
>
) =
{
E
®
E
+
T
·
,
T
®
T
·
*
F
}
E
®
E
+
T
·
:
nic
T
®
T
·
*
F
Î
Contents
(
<
E
+
T
>
)
avšak
<
E
+
T
*
>
Ï
Q
G’expr1
:
nic
1
0
)
Contents
(
<
E
+
T
>
) =
{
T
®
T
*
F
·
}
T
®
T
*
F
·
:
nic
1
1
)
Contents
(
<
(
E
)
>
) =
{
F
®
(
E
)
·
}
F
®
(
E
)
·
:
nic