CHAPTER 4（语法分析 1）.pptVIP

第一章：编译概述 Chapter4Syntax Analysis 语法分析概述 （An overview of parsing） 自顶向下分析（Top-down Parsing） 自底向上分析（Bottom-up Parsing） LR 分析（LR Parser） 4.1 语法分析概述 4.1 语法分析概述 语法分析的任务： 4.1 语法分析概述 4.1 语法分析概述 4.1 语法分析概述 4.1 语法分析概述 4.1 语法分析概述 最左推导 总是选择每个句型最左边的非终结符号 记为： 最右推导 总是选择每个句型最右边的非终结符号 记为： 4.1 语法分析概述 CFG和REGEX 每个可以使用REGEX描述的构造都可以使用CFG来描述。 反之不成立。 例如 REGEX与正则文法等价 4.1 语法分析概述 为什么使用REGEX来定义一个语言的词法结构？ 将语法分成词法和非词法可将前端模块化 词法规则简单 与文法相比，REGEX更加简洁和易于理解 根据REGEX自动构造的词法分析器效率高 4.1 语法分析概述 语法分析方法 自顶向下分析 带回溯的（backtracking） 递归下降分析法 不带回溯的 预测分析法(LL(1)分析) 自底向上分析 算符优先分析法 LR分析法 包括LR(0), SLR(1), LR, LR(1), LALR(1) 4.1 语法分析概述 自顶向下分析（Top-down parsing）： 4.1 语法分析概述 4.1 语法分析概述 自底向上分析（Bottom-up parsing）： 4.1 语法分析概述 4.2 自顶向下分析 带回溯的自顶向下分析： 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 不带回溯的自顶向下分析： 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 FIRST集： 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 FOLLOW集： 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 LL（1）文法： 4.2 自顶向下分析 4.2 自顶向下分析 非 LL（1）文法到 LL（1）文法的等价转换 4.2 自顶向下分析 设计文法 消除二义性 提取左因子 消除左递归 4.2 自顶向下分析 消除二义性（例4.16） 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 （算法4.31）对G中的每个产生式A→α 对FIRST(α)中的每个终结符a，将A→α加入到M[A, a]中。 如果ε属于FIRST(α)，对于FOLLOW(A)中的每个终结符b，将A→α加入到M[A,b]中。 如果ε属于FIRST(α)，且$在FOLLOW(A)中，将A→α加入到M[A, $]中。 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 4.2 自顶向下分析 例4.36 输入：)id*+id 不一定每个语言都有 LL（1）文法， 如果语言有 LL（1）文法，希望基于此 LL（1）文法对该语言的句子进行预测分析 如果没有，该语言不能进行预测分析。 stmt ? if expr then stmt | if expr then stmt else stmt | other (any other statement) stmt stmt stmt expr E1 S2 then else if expr E2 S1 then if stmt stmt expr E1 then if stmt expr E2 S2 S1 then else if stmt stmt if E1 then if E2 then S1 else S2 stmt ? matched_stmt | unmatched_stmt matched_stmt ? if expr then matched_stmt else matched_stmt | other unmatched_stmt ? if expr then stmt