第九章 句法分析

　　某些所谓的句附加（sentence adjuncts）可以出现在一个中心串的前头、后头或任何两个元素之间。这类句附加可以是副词（如"generally"）和介词短语（如"on Wednesday","in Rome"）,我们用符号SA来代表它们：
　　　　<SA>∷＝<*D>|<PN>|null
并把它放到ASSERTION串的各个位置上去：
　　　　<ASSERTION>∷＝<SA><LNR><SA><LTVR><SA>|<SA><LNR><SA><LTVR><SA><LNR><SA>
　　如果用符号OBJECT来代表可以出现在一个动词后面的东西，上面那个定义就可以缩短：
　　　　<ASSERTION>∷＝<SA><LNR><SA><LTVR><SA><OBJECT><SA>
　　　　<OBJECT>∷＝<LNR>|null
接下去我们要把这部语法稍微增大下点，使之包括宾语序to十V十OBJECT，如在句子："I 1iketo eat fish"(我喜欢吃鱼)中的宾语"to eat fish"。即让
　　　　<OBJECT>∷＝<LNR>|<TOVO>|null
　　　　<TOVO>∷＝to<LVR><SA><OBJECT><SA>
为了统一起见，我们也将为ASSERTION的其他元素引入一些熟悉的符号，即使在我们这部语法中它们可能只有一个值：
　　　　<ASSERTION>∷＝<SA><SUBJECT><SA><VERB><SA><OBECT><SA>
　　　　<SUBJECT>∷＝<LNR>
　　　　<VERB>∷＝<LTVR>
　　　　<OBJECT>∷＝<LNR>|<TOVO>|null
作为置换串的例子，我们将把形为what十N十TV(如"what John likes"约翰所喜欢的东西)作为名词的置换者。为此，我们用一个新符号NSTG(名词串)来代表一个名词或其置换串：
　　　　<NSTG>∷＝<LNR>|<NREP>
　　　　<NREP>∷＝what<SUBJECT><SA><VERB><SA>
把以上的定义集中起来就得到如下的一部上下文无关语法：
　　　　<SENTENCE>∷＝<CENTER>。
　　　　<CENTER>∷＝<ASSERTION>
　　　　<ASSERTION>∷＝<SA><SUBJECT><SA><VERB)<SA>
　　　　<OBJECT>∷＝<SA>
　　　　<SA>∷＝<*D>|<*PN>＝|null
　　　　<PN>∷＝<*P><NSTG>
　　　　<SUBJECT>∷＝<NSTG>
　　　　<NSTG>∷＝<LNR>|<NREP>
　　　　<LNR>∷＝<LN><*N><RN>
　　　　<LN>∷＝<TPOS><LAPOS>
　　　　<TPOS>∷＝<*T>|null
　　　　<APOS>∷＝<*ADJ>|null
　　　　<RN>∷＝<PN>|null
　　　　<NREP>∷＝what<SUBJECT><SA><VERB＝<SA>
　　　　<VERB>∷<LTVR>
　　　　<LTVR>∷＝<LV><*TV><RV>
　　　　<LV>∷＝<*D>|null
　　　　<RV>∷＝<*D>|<PN>|null
　　　　<LVR>∷＝<LV><*V><RV>
　　　　<OBJECT>∷＝<NSTG>|<TOV0>|null
　　　　<TOVO>∷＝to<LVR><SA><OBJECT><SA>
　　如前所述，并非所有由这部语法所生成的词序都是可接受的英语句子。下面是这部语法未能加以考虑的基本语法限制：
　　(1)数的一致关系：主语和动词之间，以及名词和它的冠词或数量词之间必须满足数的一致关系。前者如：
　　　　"Men eat." (男人们吃。)
　　　　*"Men eats."
　　后者如：
　　　　*"A men eat."
　　(2)可数名词：某些名词(一般指可数事物的名词)当以单数形式出现时要求有一个前置的冠词。如：
　　　　"The cat eats." (猫吃。)
　　　　*"Cat eats."
　　(3)次范畴化(subcategorization)：每个动词都只能带OBJECT可能值的一个子集作为宾语，如：
　　　　"The cat wants to eat." (猫想吃。)
　　　　*"The cat sleeps　to eat." (*猫睡觉吃。)
　　(4)选择：在正常的使用情况里，某些动词要求主语是"人"，如：
　　　　*"The cat argued." (*猫争论。)
某些动词要求主语是"有生命的"，如：
　　　　*"The rock slept." (*石头睡了。)
同前面几种语法限制相比，这种限制可以认为是一种语义限制。在比喻或童话故事中，有时违反选择限制的句子也可以被接受。
　　在原则上，这些限制都可以在上下文无关语法的框框里解决。但是为此而需要增加的产生式数量相当大。例如，为了把主语和动词的数一致关系加到上面这部语法中来。那么这个限制要求单数主语跟一个单数动词，而复数主语跟一个复数动词：
　　<ASSERTION>∷＝<SA><SINGULAR-SUBJECT><SA>
　　　　　　　　<SINGULAR-VERB><SA><OBJECT><SA>|
　　　　　　　　<SA><PLURAL-SUBJECT><SA>
　　　　　　　　<PLURAL-VERB><SA><OBJECT><SA>
因而我们必须定义SINGULAR-SUBJECT和PLURAL-SUBJECT：
　　<SINGULAR-SUBJECT>∷＝<SINGULAR-NSTG>
　　<PLURAL-SUBJECT>∷＝<PLURAL-NSTG>
　　<SINGLAR－NSTG>∷＝<SINGULAR-LNR>|<NREP>
　　<PLURAL-NSTG>∷＝<PLURAL-LNR>|<NREP>
　　<SINGULAR-LNR>∷＝<LN><*SINGULAR-N><RN>
　　<PLURAL-LNR>∷＝<LN><*PLURAL-N><RN>
以及SINGULAR-VERB和PLURAL-VERB：
　　<SINGULAR-VERB>∷＝<SINGULAR-LTVR>
　　<PLURAL－VERB>∷＝<PLURAL－LTVR>
　　<SINGULAR－LTVR>∷＝<LV><*SINGULAR－TV><RV>
　　<PLURAL－LTVR>∷＝<LV><*PLURAL－TV><RV>
其他限制也可以用类似方式。但是应当指出，如果两种限制包含相同的构造，产生式的数量便会成倍地递增，结果语法会迅速变成十分庞大。在9.5.2节中我们将介绍一些更好的办法来考虑一部语法中的这些限制。