Z BKG na ZA: Příklad 2/2
M  = (Q, S, G, R, s, S, F), kde:
Q = {s}, S = T = {(, )}, G = {(, ), S}, F = Æ
P = {(s( ® s,    )s) ® s,    Ss ® )S(s,    Ss ® )(s }
Otázka: (( )) Î L(M)e?
Pravidlo: Ss ® )S(s
Odpověď: ANO
(
(
)
)
S
S
Pravidlo: (s( ® s
Pravidlo: Ss ® )(s
Pravidlo: )s) ® s
Pravidlo: )s) ® s
Pravidlo: (s( ® s
Prázdný zásobník
S
s
)
(
(
)
)
(
S
s
)
(
)
)
s
)
(
)
)
)
(
s
)
)
)
)
s
)
)
s
(
)
S
S
S
(
)
S
S
(
(
)
)
S
S
(
(
)
)
S
S
(
(
)
)
S
S
S
s
)
(
(
)
49/50