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 ® Ss, ( )s ® Ss, #Ss ® 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: #Ss ® f
Pravidlo: ( )s ® S
#
s
)
(
S
#
s
S
(
(
)
)
S
(
(
)
S
(
(
)
(
(
(
Koncový stav
44/50