程序设计语言的语法描述优秀文档.pptVIP

第3章程序设计语言的语法描述;3.1文法的引入;㈡规则

可以通过建立一组规则，来描述上述句子的语法结构，规则在形式语言中称为产生式。; 句子主语谓语

冠词形容词名词谓语

the形容词名词谓语

thebig名词谓语

thebigelephant谓语

thebigelephant动词直接宾语

thebigelephantate直接宾语

thebigelephantate冠词名词

thebigelephantatea名词

thebigelephantateabanana

上述推导可简单表示为：

句子thebigelephantateabanana。

值得注意的是用上述规则可推导出多个句子，因存在推导

句子abigbananaatetheelephant

所以，abigbananaatetheelephant也是文法的一个合法的句子。但意义是荒谬的，也就是说句子的语义是错误的。一个语法正确的句子不能保证其语义是正确的，故一个句子是否正确，需要进行语法和语义两方面检查。

综上所述，语言结构通常是用文法来定义和描述，文法是由终结符、非终结符、开始符号（特殊非终结符