Move in EPDA
Definition: Let xvpay and xwqy be two configurations
of an EPDA, M, where x, v, w Î G*, p, q Î Q, a Î S È {e}, and y Î S*. Let r = vpa ® wq Î R be a rule. Then, M makes a move from xvpay to xwqy according to r, written as xvpay |– xwqy [r] or xvpay |– xwqy.
Rule: vpa ® wq
Configuration:
New configuration:
q
…
w
…
y
x
Note: |–n, |–+, |–*, L(M)f , L(M)e , and L(M)fe are defined analogically to the corresponding definitions for PDA.
a
p
y
x
v
35/50