ZA: Příklad
M = (Q, S, G, R, s, S, F)
• S = {a, b};
kde:
• G = {a, S};
apa ® aap,
• Q = {s, p, q, f};
• R = {Ssa ® Sap,
apb ® q,
Sq   ® f}
• F = {f}
aqb ® q,
Otázka: aabb Î L(M)fe?
Ssaabb
|– Sapabb
|– Saapbb
|– Saqb
|– Sq
|– f
Prav.: Ssa ® Sap
S
s
b
a
a
b
p
a
S
a
b
b
q
S
a
b
p
S
a
a
b
b
Prav.: apa ® aap
Prav.: apb ® q
Prav.: aqb ® q
Prav.: Sq   ® f
S
q
f
Odpověď: ANO
Prázdný zásobník
Koncový stav
Pozn.: L(M)f = L(M)e = L(M)fe  = {anbn: n ³ 1}
30/50