2．句法分析问题

　　句法分析问题就是根据给定的文法重写规则，判断一个字串是否是符合该重写规则的句子。一旦一个单一的S被推导出来，则说明给定的字串是一个句子。在图1.11中，为了简便起见，省略了一些过程。虚线箭头表示的是经过几次规则变换后得到的结果，实线箭头表示的是一次规则变换后的结果。

　　在语言学中，决定任意一个符号序列是不是一个句子的问题，是一个句法分析问题，我们可以用产生式系统来分析这个问题。下面先定义一个分析有限个英语句子的与上下文无关的简单文法来讨论这个问题。
设该文法有如下的终结符和非终结符：
终结符号：of approves new president company sale the
非终结符号：S NP VP PP P V DNP DET A N
文法的重写规则是：
N→NP
A NP→NP
DET NP→DNP
P DNP→PP
DNP PP→DNP
V DNP→VP
DNP VP→S
of→P
approves→V
new→A
president→N
company→N
sale→N
the→DET
现在来分析以下的符号串是否属于该语言中的一个句子：
The president of the new company approves the sale