编译原理..-_-文法直观概念-形式定义.pptVIP

2.3 程序语言的语法描述2.3.1 上下文无关文法 2.3.2 语法分析树与二义性2.3.3 形式语言鸟瞰 2.3.1 上下文无关文法一、文法引入二、符号和符号串 三、文法的直观概念 四、文法和语言的形式定义 三、文法的直观概念 采用EBNF来表示英语中一种句子的构成规则:句子∷= 主语 谓语主语∷= 冠词 [形容词〉] 名词谓语∷= [助动词] 动词 冠词 名词名词∷= wolf | goat | rabbit | tiger冠词∷= the |a |an形容词∷= gray | red助动词∷= will动词 ∷= eat | like补充例 用规则产生句子. (推导 ?)使用一条规则,把?左边的部分替换成右边的部分。用规则判别句子的合法性[ ] ：方括号表示其内的成分为任选项 判断一个符号串是否为语法上正确的 句子运用规则, 把左边的部分替换成右边的部分, 如果可以推导出(产生) 该符号串, 则该符号串是正确的句子可以图示化表示这种推导, 得到语法分析树参考p27 做练习: 画出 The gray wolf will eat the goat. 的语法树 有关文法概念的给出句子∷= 主语 谓语主语∷= 冠词 [形容词〉] 名词名词∷= wolf | goat | rabbit | tiger产生式产生式产生式非终结符 终结符开始符号(识别符号)文法