对于以下的文法G[S]是其句子从S出发开始推导GSS→M|SMM→P|MPP→a|b|c||x|x|-X题卡

(a,0) ((fac,bb),g) (abc) (c,(da))

[(a，f)] [(fac,bb)，g] (abc) [c,(da)]

从S 出发推导出的包含V 中所有符号的串从S 出发推导出的仅包含T 中符号的串 N 中所有符号组成的串 T 中所有符号组成的串

((a，f) ((fac，bb)，g) (abc) (c，(da))

((a，F)) ((fac，bb)，g) (abc) (c，(da))

其最左推导和最右推导相同该句子有两个不同的最左推导该句子有两个不同的最右推导该句子有两棵不同的语法树该句子对应的语法树唯一

该文法推导出的句子必须以“a”开头 acabcbdcc是该文法推导出的一个句子 “S→aAcB”是该文法的一个产生式 a、b、c、d属于该文法的终结符号集

该文法推导出的句子必须以“a”开头 acabcbdcc是该文法推导出的一个句子 “S->aAcB”是该文法的终结符号集 a、b、c、d属于该文法的终结符号集

（a，0）（（fac，b，g）（ab （c，（d）

((a,f)) ((fac,bb),g) (abc) (c,(da))

从S 出发推导的、仅包含T 中符号的符号串从N 中符号出发推导的、仅包含T 中符号的符号串从S 出发推导的、包含V 中符号的符号串从N 中符号出发推导的、包含V 中符号的符号串

归纳归约推理推导

从S出发推导出的包含V中所有符号的串从S出发推导出的仅包含T中符号的串 N中所有符号组成的串 T中所有符号组成的串

（（a，O））（（fac，bb），g）（abc）（c，（da））

a a、[ a、[和] a、[、]和，

从S出发推导的、仅包含T中符号的符号串从N中符号出发推导的、仅包含T中符号的符号串从S出发推导的、包含V中符号的符号串从N中符号出发推导的、包含V中符号的符号串

文法G中有多余的产生式在L(G)中至少存在一个句子，它的语义有多于一种解释在L(G)中至少存在一个句型，它有两个不同的最左推导在L(G)中至少存在一个句子，它有两个不同的最左推导或最右推导

a a、[ a、[和] a、[、]和，

从S出发推导出的包含尸中所有符号的串从S出发推导出的仅包含厂中符号的串 N中所有符号组成的串 T中所有符号组成的串

a a、[ a、[和] a、[、]和，

对于以下的文法G[S]，（）是其句子(从S出发开始推导)。 G(S)：S→M|(S,M) M→P|MP P→a|b|c|…|x|x|z