为什么不是CFG？

Question

尽管这是重新定义， 但我还是在设计PDA方面进行讨论。

现在，我知道我错了，因为这是一个广为人知的示例，但是下面的PDA设计在哪里出错呢？

我想接受语言{a^nb^nc^n: n>=0}

每次遇到a ，我将两个1推入堆栈，将b弹出一个，将c弹出一个，然后检查是否有空堆栈。 我将转换函数（最小值）定义为：

(q0, a, Z) = (q0, 11Z)
(q0, a, 1) = (q0, 111)
(q0, b, 1) = (q1, delta)
(q1, c, 1) = (q2, delta)
(q2, delta, Z) = (q-Final, Z) (epsilon move)

Z is empty stack

此PDA不接受这种语言吗？

Answer 1

您的PDA接受以下语言：

{a^n b^i c^j; n >= 0 and i + j = 2n}

与上述语言的子集{a^nb^nc^n: n>=0} ，特别是当i = n和j = n 。