理解压缩到NPDA中的堆栈的字符串

Question

我正在学习NPDA，坦白说，我正在努力理解我在这个问题上的看法：

究竟什么确定“aaz”或“aaa”被推入堆栈？是否重要，只要这些在读取b时弹出？

Answer 1

＆＃34; AAZ＆＃34;和＆＃34; aaa＆＃34;因为一个人取代＆＃34; z＆＃34;而另一个取代＆＃34; a＆＃34;在堆栈顶部。每个都具有单独留下最顶层堆栈符号并在顶部再推两个a符号的效果。 NPDA的工作原理是每隔一段时间在堆叠上推两个a，然后为每个看到的b弹出一个a。如果筹码最终为空，那么你必须看到的筹码数量只有两倍。