编译原理2.3.1-3_4-文法直观概念-形式定义精品.pptVIP

补充例文法和语言2 G = (VN，VT，P，S)， VN={S, B, E}，VT={a, b, e}， P:(1) S→aSBE　(2) S→aBE　(3) EB→BE　(4) aB→ab　(5) bB→bb　(6) bE→be　(7) eE→ee L(G)= ｛anbnen|n≥1｝ 例2.1 G1: S→bA, A→aA | a L(G1)={ ban | n≥1 } 文法和语言 举例 p30 例2.2 G2: S→AB, A→aA | a, B→bB | b L(G2)={ am bn | m, n≥1} 例2.3 构造一个文法G3, 使 L(G3)={ an bn | n≥1} G3: S→aSb | ab 请写出描述以下语言的文法 L(G1) ={ an ban | n≥1 } G1: S→aAa, A→aAa, A→b L2 ={ an bam | n,m≥1 } G2: S→aS, S→aB, B→bC, C→aC, C→a 补充 7. 文法等价 (补充 ) 若 L(G1) = L(G2)， 则称文法G1和G2等价。 等价 G[A]: A→0R A→01 R→A1 G[S]: S→0S1 S→01 8. 最左推导, 最右推导 例 G2: S→AB, A→aA|a, B→bB|b 写出句子aabb的最左推导和最右推导序列 符号辨析 → ::= | ? * ? + ? 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 产生式 产生式 产生式 非终结符 终结符 开始符号(识别符号) 文法G : 一组非终结符, 一组终结符, 一个开始符号, 一组产生式 终结符 终结符是组成语言的基本符号, 不可再分割，不能由其它文法符号定义 词法规则 终结符是字母, 数字, 其他合法符号 语法规则 从语法分析的角度, 终结符指单词符号, 基本字,标识符,常数,算符,界符等 非终结符 非终结符: 语法成分, 语法短语，语法单位，语法变量，语法范畴，语法实体 非终结符可由其它文法符号定义。不是用户自己写的 非终结符给语言强加了一种层次结构 每个非终结符表示一定符号串的集合 开始符号 (识别符号) 开始符号是我们最终感兴趣的语法范畴 是文法最终要定义 的语法结构 四、