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
S
s
b
a
a
b
p
a
S
a
b
b
q
S
a
b
p
S
a
a
b
b
S
q
f
Prázdný zásobník
Koncový stav
Pozn.: L(M)f = L(M)e = L(M)fe = {anbn:
n ³
1}
30/50