PDA Configuration

A configuration of $M$ is a triple $(p,x,a)$ with:

• State $p\in Q$
• String $x\in {\Sigma }^{\ast }$
• String $\alpha \in {\Gamma }^{\ast }$