补充资料：产生式

产生式
production

　　ehanshengsh-产生式(Production)定义语言文法的规则，其一般形式是。~月，其中a，月为由文法的非终极符和终极符组成的串，且可为空。它说明箭头左边的串能用箭头右边的串来替换。 语言的所有文法规则构成一产生式集合，使用这些规则，可产生出所有由终极符构成的串，这种字符串称为(该语言的)句子。 考虑下面的产生式集合: (1)S一。凡工) (2)S~“刀C (3)〔沼~且二 (4)aB~ab (5)bB一砧 (6)旅一阮 (7)汇~cc(这里，大写字母S，B，C为非终极符，小写字母a，b，。为终极符)，则此产生式集定义的语言等于集合}a咭飞“In》1}。因为对每一个n)1，反复使用产生式(1)n一1次得到串a”一LS(石〔)”一1。然后，对此结果使用产生式(2)一次得到串r(2义))”。再重复使用产生式(3)n次，将所有的B都先于所有的C，即得串a叨凡口。其次，使用产生式(4)一次得a”bB”一1口。再使用产生式(5)n一1次得护护口。最后使用产生式(6)一次继而使用产生式(7)n一1次，得到终极符串anb?。 一般说来，要确定产生式集产生的语言是极其 困难的。但对上面的产生式集，可以证明它恰恰产 生那个集合。 现在考虑稍为复杂一点的产生式，用它可定义 上下文有关语言: 51 552~SzTSZ它表明:如果串S出现在上下文Sl与52中(即在串51与S:之间)，则S可以由串T来替换。因此，产生式 a b 5 ba~口灰J Sa加表明:如果S是前后分别由ab和旅围着的任何串，则它才能由串a凡来替换。
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。