1

我需要为由具有相同数量的 a 和 b 的偶数长度回文组成的语言构造一个 CFG，然后证明它生成了该语言。

这是我得到的CFG：

S→ 阿巴 | 巴布| abSba | 巴萨布 | ε

我不确定该怎么做才能证明它（我只是在逻辑上想出了这个）......如果有人能指出我正确的方向，我将不胜感激。谢谢！

4

0 回答 0