我正在学习一门课程的下推自动机，我已经达到了一个概念性的方法。
堆栈基本上只有一个符号的无限内存或空间吗？
如果我有以下字符串：
ABBA 以下规则以q6作为我的接受状态：
（Q0，A，Z）=（Q1，一）
（Q1，B，A）=（Q2，B）
（q2，b，b）=（q3，b）
（q3，a，b）=（q4，a）
（Q4，λ，α）=（Q5，拉姆达）
（Q5，λ，α）=（Q5，拉姆达）
（Q5，λ，B）=（Q5，拉姆达）
（Q5，λ，Z）=（Q6，拉姆达）
在状态中我的堆栈看起来像这样：
q0：Z
q1：aZ
q2：baZ
q3：bbaZ
q4：abbaZ
q5：Z因为最终所有东西都弹出了
q6：Z
这是堆栈的正确转换吗？基本上每一次推动它都会无限增长？或者每次推送都应该与当前顶级交换？
例如州政府希望：
q0：Z
q1：aZ
q2：bZ
q3：bZ
q4：aZ
q5：Z
q6：Z