NPDA具有确切的2个状态，可能需要3个转换到最终状态

Question

假设我们要用接受该语言L的NPDA的两个状态绘制过渡图。还可以说此NPDA恰好具有2个状态。 我的想法是在第一状态下进行所有操作，然后将第二状态用作最终结局。 像这样：

但是我不确定lambda转换是否会导致q1或是否有更好的方法可以做到这一点，这可能是更好的方法，因为我想自己教自己。 也许有人可以让我回到这里？

Answer 1

差不多了 您刚刚错过了n>=1要求，因为您当前的NPDA也将接受“ acb”。 而且您不需要（b，4）/ 5，因为无论如何都不会使用堆栈符号5。

因此，您需要另一个介于1和2之间的堆栈符号来表示我们是否在“ c”之前看到了“ b”。

q0-q0         q0-q1
(a,Z)/1Z     (b,3)/λ
(b,1)/2      (b,4)/λ
(b,2)/2      (b,5)/λ
(c,2)/3
(b,3)/4
(b,4)/5