义，所以我们使用双剑符号来指示在自动机中的第 formula_3 个栈: formula_4，这里的 formula_5 将是在栈中的下一个可访问的符号。formula_6 个栈的“嵌入栈”因此可以指示为 formula_7。我们定义 EPDA 为七元组所以转移函数选取一个状态，输入字符串的下一个符号，和当前栈的顶符号；并生成下一个状态，在“嵌入栈”上要压入和弹出的那些栈，当前栈的压入和弹出，和要在下一个转移中被当作当前栈的栈。更加概念的说，“嵌入栈”是被压入和弹出的，当前栈被随意的压回到“嵌入栈