对于以下非常规语言，我希望Context Free Grammar和最右边的派生词为字符串011000。
L = {0 ^ m 1 ^ n 0 ^（m + n）| m，n> = 0}
对于CFG我这样做了： S - ＆gt; 0S0 |一个 A - ＆gt; 10A | Ë 是不是？
对于字符串011000最右边的派生我有一些困难。
答案 0 :(得分：0)
此语言的CFG如下
S->0S0|A
A->1A0|^
您的CFG将接受此字符串010100，这是错误的。 现在你可以获得最正确的推导。