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