Z
BKG
na
ZA
:
Příklad
1
/
2
•
G
= (
N
,
T
,
P
,
S
),
kde
:
N
= {
S
},
T
= {
(
,
)
},
P
= {
S
®
(
S
)
,
S
®
(
)
}
M
= (
Q
,
S
,
G
,
R
,
s
,
S
,
F
)
kde
:
Máme nalézt
:
ZA
M
, pro který platí:
L
(
G
) =
L
(
M
)
e
S
®
(
S
)
Î
P
Q =
{
s
};
S
=
T
=
{
(
,
)
};
G
=
N
È
T
=
{
S
,
(
,
)
}
R
= {
“
(
”
Î
T
(
s
(
®
s
,
)
s
)
®
s
,
S
s
®
)
S
(
s
,
S
s
®
)
(
s
}
S
®
( )
Î
P
“)”
Î
T
F
=
Æ
rev
rev
48/50
porovnávací
pravidla
expanzivní
pravidla