Z
BKG
na
RZA
:
Příklad
2
/
2
M
= (
Q
,
S
,
G
,
R
,
s
,
#
,
F
),
kde
:
Q =
{
s
,
f
},
S
=
T
=
{
(
,
)
},
G
=
{
(
,
)
,
S
,
#
},
F =
{
f
}
R
= {
s
(
®
(
s
,
s
)
®
)
s
,
(
S
)
s
®
S
s
,
(
)
s
®
S
s
,
#
S
s
®
f
}
Otázka:
(( ))
Î
L
(
M
)
f
?
Pravidlo:
s
(
®
(
s
#
s
)
(
(
)
f
Odpověď:
YES
(
(
)
)
S
S
#
s
)
(
(
)
#
s
)
(
(
)
Pravidlo:
s
(
®
(
s
Pravidlo:
s
)
®
)
s
#
s
)
(
(
)
Pravidlo:
s
)
®
)
s
#
s
)
(
S
Pravidlo:
(
S
)
®
S
Pravidlo:
#
S
s
®
f
Pravidlo:
( )
s
®
S
#
s
)
(
S
#
s
S
(
(
)
)
S
(
(
)
S
(
(
)
(
(
(
Koncový
stav
44/50