EPDA: Example
M = (Q, S, G, R, s, S, F)
where:
s
• Q = {s, f};
f
• F
= {f}
s ® Cs,
e/C, e
SC/e, e
SCs ® f }
aCsa ® Cs,
aC/C, a
• R = { sa ® as,
e/a, a
sb ® bs,
e/b, b
bCsb ® Cs,
bC/C, b
Note: L(M)f = L(M)e = L(M)fe = {xy:
x, y Î
S*, y = reversal(x)}
36/50