7.2.2.2 句法分析器 　　一个程序如果能根据一部特定的语法来确定一个句子的推导，就称它为一个句法分析器（parser）。 　　一般来说，如果把语法G所定义的语言记作L(G)，则 　　 　　这条定义的意思是，对于所有的符号串W，如果W是由终结符所组成的串，且用语法G可以从起始符S中推导出W，那么符号串W的集合就是由语法G所生成的语言L(G)。