|
人工智能概述
|
 |
|
（2）短语结构语法G的形式化定义 短语结构语法G的形式化定义如下： 其中：T是终结符的集合；N是非终结符号的集合；S是起始符；P是一 个产生式规则集。 一般来说，如果把语法G所生成的语言记作L(G)，则 L(G)={W|W<T*,且S=>W} 这条定义的意思是，对于所有的符号串W，如果W是由终结符所组成的 串，且用语法G可以从起始符S中推导出W，那么符号串W的集合就是由语法G 所生成的语言L(G)。 换言之，一个符号串要属于L(G)必须满足以下两个条件： (1)该符号串只包含终结符； (2)该符号串能根据语法G从起始符S推导出来。 |
||
