这种语言有下推自动机（PDA）吗？

the language is: { Aⁿ B⁽²ⁿ⁾ Cⁿ | where n>=0 }

我认为是有的，因为你可以这样处理：推入A，推入B，每个C从堆栈中弹出3次，如果没有C并且堆栈为空，则返回true，否则返回false。

使用泵引理来证明这不是上下文无关的语言。

Consider s = a^p b^2p c^p
Then we consider vxy, |vxy|<=p, |vy|>0 and uvⁱxyⁱz in L
We have the possibilities

1. vxy = a^j, j<=p
2. vxy = a^j b^k, j+k<=p
3. vxy = b^j, j<=p
4. vxy = b^j c^k, j+k<=p
5. vxy = c^j, j <=p

无论如何，没有常数u and v英石。该字符串位于 L 中，因为 L 中只能有两个符号vxy然后我们需要可变数量的第三个来显示u or v

您提出的自动机在 AAAC 上失败，返回 true。它并不能保证 B 的数量是 A 的两倍。