4. A 2-stack PDA is similar to an ordinary PDA, but has two stacks. Thus, any transition for a 2-stack PDA has the form δ(g,x, Z1,22)-(p, X1, X2), meaning that in state q, looking at input symbol r with Z1 on top of stack 1, and Z2 on top of stack 2, the machine passes to state p, pops Zi and pushes Xi on stack i, where Xi is some stack symbol (or
OR
OR