[工学]第07讲-语法分析-I.pptVIP

中国科大 第三章 语法分析 本章内容 上下文无关文法 自上而下分析和自下而上分析 围绕分析器的自动生成展开 语法分析的任务 语法分析 目标 线性的词法记号流 = 语法树 实质：无结构的数据转换为有结构的数据 依据 上下文无关语法（描述语法规则） 本讲纲要 语法分析概述 上下文无关文法 语言和文法 上下文无关文法 主要内容 3.1 上下文无关文法 3.1.1 上下文无关文法的定义 正规式来定义一些简单的语言，能表示给定结构的固定次数的重复或者没有指定次数的重复。 例：a (ba)5, a (ba)* 正规式不能用于描述配对或嵌套的结构 例：配对括号串的集合， {wcw | w是a和b的串} 3.1 上下文无关文法 3.1.1 上下文无关文法的定义 上下文无关文法是四元组（VT , VN , S, P） VT : 终结符集合(非空有限集合，记号名是其同义词) VN : 非终结符集合（非空有限集合, ） S : 开始符号 P : 产生式集合，产生式形式 : A ? ? 3.1 上下文无关文法 例 ( {id, +, *, ?, (, )}, {expr, op}, expr, P ) expr ? expr op expr expr ? (expr) expr ? ? expr expr ? id op ? + op ? * 3.1 上下文无关文法 简化表示方法 3.1 上下文无关文法 例 ( {id, +, *, ?, (, )}, {expr, op}, expr, P ) expr ? expr op expr expr ? (expr) expr ? ? expr expr ? id op ? + op ? * 简化表示 E ? E A E | (E ) | ?E | id A ? + | * 3.1 上下文无关文法 上下文无关文法 E ? E A E | (E ) | ?E | id A ? + | * 上下文无关文法 主要内容 3.1 上下文无关文法 3.1.2 推导 把产生式看成重写规则，把符号串中的非终结符用其产生式右部的串来代替。 例 E ? E + E | E * E | (E ) | ? E | id E ? ?E ? ?(E) ? ?(E + E) ? ?(id + E)? ?(id + id) 记号：S ?*?、 S ?+ w 概念：句型、句子、上下文无关语言、等价的文法 推导的定义 直接推导“?” A→ ? 是文法G的产生式： ? A? ?? ?? 例：G： S→0S1， S→01 0S1 ?00S11 00S11 ?000S111 000S111 S ?0S1 (1) G：S→aAb A→ab A→aAb A→ε (2) G[S]： A→ab A→aAb A→ε S→aAb (3) G[S]: A→ab |aAb |ε S→aAb 3.1 上下文无关文法 E ? E + E | E * E | (E ) | ? E | id E ? ?E ? ?(E) ? ?(E + E) 最左推导 E ? lm ?E ? lm ?(E) ? lm ?(E + E) ? lm ?(id + E) ?lm ?(id + id) 最右推导（规范推导） E ? rm ?E ? rm ?(E) ? rm ?(E + E) ? rm ?(E + id) ?rm ?(id + id) 3.1 上下文无关文法 3.1.3 分析树 文法、推导与分析树 表达式文法 E ? E + E | E * E | (E ) | ? E | id 语法分析的目标是：给出一个句子，比如id+id*id ，怎么判断该句子是满足文法所描述的语法规则？ 判断是不是存在一个推导，使得E推导出给定的句子 文法、推导与分析树 推导过程 E=E+E=id+E=id+E*E=id+id*E=id+id*id 文法、推导与分析树 表达式文法 E ? E + E | E * E | (E ) | ? E | id 语法分析的目标是：给出一个句子，比如id+id*id ，怎么判断该句子满足文法所描述的语法规则？ 判断是不是存在一个推导，使得E推导出给定的句子 语法分析器设计的角度：如何保证文法能推导出所有正确的语法表示，并且只能是这些表示。 上下文无