标签： context-free-grammar proof context-free-language computer-science-theory
我需要构建一个CFG语言，该语言包括具有相同数量的a和b的偶数长度的回文，然后证明它会生成该语言。
这是我得到的CFG：
S→abba | baab | abSba | baSab | ε
我不知道该怎么做才能证明它（我只是逻辑地提出了这个问题）......如果有人能指出我正确的方向，我会很感激。谢谢！