我特别需要帮助解决这个问题，我得到了语言： 大号 = {1^(2n)#0^n | n >= 0}，我必须从中创建一个下推自动机。
所以，我的第一个想法就是为 1^n0^n 做与自动机相同的事情，但是每 0 弹出两个 1，但是我认为我不能一次从堆栈中弹出两个项目，因为这是一个家庭作业问题，我们从来没有这样做过，而且我搜索并发现一些网站说这是不允许的，但其他网站说这是不允许的，所以这有点奇怪，也许它是针对非确定性 PDA 与确定性的，无论如何，我不知道如何解决这个问题了，如果有人有任何指导或资源，我可以检查是否有类似的问题得到解决，我将不胜感激，我只需要绘制 PDA，以便 6-touple 或类似的东西那是没有必要的。