补充资料：上下文相关文法

上下文相关文法
grammar, context-sensitive

上下文相关文法[郎叨..r，“旧悦劝一田画廿阳;rpaMMaT。二acocTa，Jt，，。“x]，享等分鼻享捧(g甩n卫刀ar of俪‘comP0nents)，上下文文法(印n往沃tg艺mlr以r)，分量文法(gran止“汀of components): 一种特别情形的生成文法(g旧叮甘比灯，罗朋m石辘)r=(V，W，1，那，其每条规则都形如么A几~氛口古2，其中亡，，蕊，0是字母表V日W上的字符串，A‘w，而0是非空字.上下文相关文法中的每一步推导都是把符号A替换成字符串口，这样的替换是否可能要视“上下文”古，和几来定.0中出现的符号可以进一步被替换，等等.这样下去，一个符号被“扩张”成某一段字符串作为推导的结果.可以借助一个树(堆导妙(deri论tiontn兄))表示上下文相关文法中的一个推导.例如，如果文法的规则是I~月月刀，月刀~刀刀刀，口刀刀~的B，A~a，D~a，B~C，C~c(其中a，b，c，d是终结符:I，A，B，C，D是非终结符，而I是初始符)，那么推导(I，月刁刀，口月刀，口。刀刀，aaBB，aabB，翻仪〕，俄劝‘)具有如图所示的树. I ，/才\。 “:l式1:推导的最后字符串的所有的段组成的集合，靠“扩充”非终结符所得到的—或换一种说法，从树的(非终结)结点引出的—在加上所有的独点段后形成了这个字符串的分量系统(见语法结构(s扣恤团c stn‘-t切茂));因此，也叫“分量文法”.如果所有的独点段也由替换非终结符得到，那么可以得到一个标记分量系统，对每一个分量标记一个从它“引出”的非终结符.这样，在上面的例子中，可以得到如下标记分量系统:((a)A((a)D(b)B)A(e)B，C)I(这里括号表示分量的界，而标记跟在右括号之后).把分量指派给标记系统的字符串形成了上下文相关文法在语言学上应用的基础.这样，一个文法其规则含有(在其中) sTAT~Nmak.，二尸， v。~vr’N、，二，。。，嵘，，。，四~“幽鲜”， Nrem，m，‘~“pa份饰la”，俨~“泊忱晓祀以s”，其中sTAT，嵘，V，，尸，是非终结符，分别代表“陈述句”，“性为x，数为y，格为:的名词”，“第三人称动词组”以及“第三人称及物动词”，而STAT是初始符，这个文法指派给陈述句“El】i讲e int en袭℃ts par-a比h”的标记分量系统是 (( Ellip父)嵘，，，~《山把份《魁)V门 (palabola)Sfe。、，。

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