因为S->xSx|y,也就是有两种情况,S可以推出xSx,也可是推出y。而xSx中又有S,所以可以循环下去,一直推到y为止。就得出了x的n次方乘y乘x的n次方(n>=0)。
从文法开始符号,应用前4个候选式若干次(包括0次),可以生成以S开头,后面连接着由若干个(包括0个)0、1、a或c构成的串。此时,如果应用第6个候选式将串首的S替换成b,那么就得到一个以b开头,后面连接着若干个0、1、a或c构成的串。因此,b前面不可能还有其他符号,所以只有选项D是正确的。
上下文无关文法CFG包含:一组终结符,一组非终结符,一个文法的开始符号,一组产生式。
关于正闭包的运算:
∑ + =∑ 1+∑2={a,b,aa,ab,ba,bb}
如果是克林闭包运算:
∑ * =∑ 0+∑+={ε,a,b,aa,ab,ba,bb}包含空串