标签： context-free-grammar
为集合{ww |的补充提供CFG w在{a，b} *}
我开始意识到所有奇数字符串都被自动接受，因为它们不能形成ww。所以我的CFG的第一部分是：
S-＆GT; A |乙
A-＆GT; aAa | aAb | bAa | bAb | a | B'/ P>
其中A处理所有奇数字符串，B处理所有偶数字符串。我试图弄清楚B的产品是什么，但是我无法弄清楚如何确保字符串的两半在某个位置会有一个不同的字符。