of an EPDA, M, where x, v, wÎG*, p, qÎQ, aÎSÈ {e}, and yÎS*.Letr=vpa®wqÎRbearule.Then,Mmakes a move from xvpayto 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)feare
defined analogically to the corresponding
definitions for PDA.