《编译原理-刘善梅》第4章语法分析-自上而下分析

编译原理 第四章语法分析 自上而下分析 源程序 词法分析器 错误处理器 符号管理表 语法分析器 语义分析器 中间代码生成器 代码优化器 代码生成器 第四章语法分析 自上而下分析 本章主要介绍语法分析的处理要进行语法分析 必须对语言的语法结构进行描述 采用正规式和有限自动机可以描述和识别语言的单词符号 用上下文无关文法来描述语法规则 上下文无关文法的定义 一个上下文无关文法G是一个四元式G VT VN S P 其中VT 终结符集合 非空 VN 非终结符集合 非空 且VT VN S 文法的开始符号 S VNP 产生式集合 有限 每个产生式形式为A A VN VT VN 开始符S至少必须在某个产生式的左部出现一次 例 定义只含 的算术表达式的文法G 其中 P由下列产生式组成 E iE E EE E EE E 如果 1 2 n 则我们称这个序列是从 1到 n的一个推导 若存在一个从 1到 n的推导 则称 1可以推导出 n 例 对文法 1 E E E E i E i i 通常 用表示 从 1出发 经过一步或若干步 可以推出 n 用表示 从 1出发 经过0步或若干步 可以推出 n 所以 即或 定义 假定G是一个文法 S是它的开始符号 如果 则 称是一个句型 仅含终结符号的句型是一个句子 文法G所产生的句子的全体是一个语言 将它记为L G 第四章语法分析 自上而下分析 语法分析器的功能自上而下分析面临的问题LL 1 分析法递归下降分析程序构造预测分析程序 4 1语法分析器的功能 语法分析的任务是分析一个文法的句子结构 语法分析器的功能 按照文法的产生式 语言的语法规则 识别输入符号串是否为一个句子 这里所说的输入串是指由单词符号 文法的终结符 组成的有限序列 对一个文法 当给你一串符号时 怎样知道它是不是该文法的一个句子 程序 呢 这就要判断 看是否能从文法的开始符号出发推导出这个输入串 或建立一棵与输入串匹配的语法树 语法分析的方法 自下而上分析法 Bottom up 基本思想 从输入串开始 逐步进行 归约 直到文法的开始符号 即从树末端开始 构造语法树 所谓归约 是指根据文法的产生式规则 把产生式的右部替换成左部符号 算符优先分析法 按照算符的优先关系和结合性质进行语法分析 适合分析表达式 LR分析法 规范归约 语法分析的方法 自下而上分析法 Bottom up 自上而下分析法 Top down 基本思想 它从文法的开始符号出发 反复使用各种产生式 寻找 匹配 的推导 递归下降分析程序 对每一语法变量 非终结符 构造一个相应的子程序 每个子程序识别一定的语法单位 通过子程序间的相互调用实现对输入串的识别 预测分析程序优点 直观 简单和宜于手工实现 第四章语法分析 自上而下分析 语法分析器的功能自上而下分析面临的问题LL 1 分析法递归下降分析程序构造预测分析程序 4 2自上而下分析面临的问题 自上而下就是从文法的开始符号出发 向下推导 推出句子 自上而下分析的主旨 对任何输入串 试图用一切可能的办法 从文法开始符号 根结点 出发 自上而下地为输入串建立一棵语法树 或者说 为输入串寻找一个最左推导 例3 4 1假定有文法G S 1 S xAy 2 A 分析输入串x y 记为 1 当某个非终结符有多个产生式候选时 在分析过程中 当一个非终结符用某一个候选匹配成功时 这种匹配可能是暂时的 出错时 不得不 回溯 2 文法左递归问题 一个文法是含有左递归的 如果存在非终结符P 自上而下分析面临的问题 左递归 例 下面是描述算术表达式的算法S EE E T TT T F FF E id 含有左递归的文法将使自上而下的分析陷入无限循环 第四章语法分析 自上而下分析 语法分析器的功能自上而下分析面临的问题LL 1 分析法递归下降分析程序构造预测分析程序 4 3LL 1 分析法 构造不带回溯的自上而下分析算法要消除文法的左递归性克服回溯 4 3 1左递归的消除 直接消除见诸于产生式中的左递归 假定关于非终结符P的规则为P P 其中 不以P开头 我们可以把P的规则等价地改写为如下的非直接左递归形式 P P P P 左递归变右递归 P P P 一般而言 假定P关于的全部产生式是P P 1 P 2 P m 1 2 n其中 每个 都不等于 每个 都不以P开头那么 消除P的直接左递归性就是把这些规则改写成 P 1P 2P nP P 1P 2P mP 左递归变右递归 4 3 1左递归的消除 例文法G E E E T TT T F FF E i经消去直接左递归后变成 E TE E TE T FT T FT F E i 4 2 P P 1 P 2 P m 1 2 nP 1P 2P nP P 1P 2P mP 例如文法G S S Qc cQ Rb bR Sa a 4 3 虽没有直接左递归 但S Q R都是左递归的S Qc Rbc Sabc 消除一个文法的一切左递归的条件 1 不含以 为右部的产生式 但改写后的文法可能含以 为右部的产生式 2 不含回路 消除左递归的算法 1 把文法G的所有非终结符按任一种顺序排列成P1 P2 Pn 按此顺序执行 2 FORi 1TOnDOBEGINFORj 1TOi 1DO把形如Pi Pj 的规则改写成Pi 1 2 k 其中Pj 1 2 k是关于Pj的所有规则 消除关于Pi规则的直接左递归性END3 化简由2所得的文法 去除那些从开始符号出发永远无法到达的非终结符的产生规则 例考虑文法G S S Qc cQ Rb bR Sa a令它的非终结符的排序为R Q S 对于R 不存在直接左递归 把R代入到Q的有关候选后 把Q的规则变为Q Sab ab b 例考虑文法G S S Qc cQ Rb bR Sa a令它的非终结符的排序为R Q S Q的规则变为Q Sab ab b现在的Q不含直接左递归 把它代入到S的有关候选后 S变成S Sabc abc bc c 例考虑文法G S S Qc cQ Rb bR Sa aS变成S Sabc abc bc c消除S的直接左递归后 S abcS bcS cS S abcS Q Sab ab bR Sa a 例考虑文法G S S Qc cQ Rb bR Sa a消除S的直接左递归后 S abcS bcS cS S abcS Q Sab ab bR Sa a关于Q和R的规则已是多余的 化简为 S abcS bcS cS S abcS 4 4 注意 由于对非终结符排序的不同 最后所得的文法在形式上可能不一样 但不难证明 它们都是等价的 例如 若对文法 4 3 的非终结符排序选为S Q R 那么 最后所得的无左递归文法是 S Qc cQ Rb bR bcaR caR aR 4 5 R bcaR 文法 4 4 和 4 5 的等价性是显然的 小结 自上而下分析面临的问题文法的左递归性回溯消除文法的左递归直接左递归的消除间接左递归的消除 4 3 2消除回溯 提左因子 为了消除回溯就必须保证 对文法的任何非终结符 当要它去匹配输入串时 能够根据它所面临的输入符号准确地指派它的一个候选去执行任务 并且此候选的工作结果应是确信无疑的 A 1 2 n 令G是一个不含左递归的文法 对G的所有非终结符的每个候选 定义它的终结首符集FIRST 为 特别是 若 则规定 FIRST 如果非终结符A的所有候选首符集两两不相交 即A的任何两个不同候选 i和 jFIRST i FIRST j 当要求A匹配输入串时 A就能根据它所面临的第一个输入符号a 准确地指派某一个候选前去执行任务 这个候选就是那个终结首符集含a的 思考 FIRST i FIRST j 很好处理 但是如果 的终结首符集有共同的部分怎么办 A 1 2 n可提取其公共左因子 提取公共左因子 假定关于A的规则是A 1 2 n 1 2 m 其中 每个 不以 开头 那么 可以把这些规则改写成A A 1 2 mA 1 2 n经过反复提取左因子 就能够把每个非终结符 包括新引进者 的所有候选首符集变成为两两不相交 E TE E TE T FT T FT F E ii i 4 3 3LL 1 分析条件 当一个文法不含左递归 并且满足每个非终结符的所有候选首符集两两不相交的条件 是不是就一定能进行有效的自上而下分析了呢 i i IP E G E E TE E TE T FT T FT F E i i i IP E T E G E E TE E TE T FT T FT F E i i i IP E T E F T G E E TE E TE T FT T FT F E i i i IP E T E F T i G E E TE E TE T FT T FT F E i i i IP E T E F T i G E E TE E TE T FT T FT F E i i i IP E T E F T i G E E TE E TE T FT T FT F E i i i IP E T E F T i T E G E E TE E TE T FT T FT F E i i i IP E T E F T i T E G E E TE E TE T FT T FT F E i i i IP E T E F T i T E F T G E E TE E TE T FT T FT F E i i i IP E T E F T i T E F T i G E E TE E TE T FT T FT F E i i i IP E T E F T i T E F T i G E E TE E TE T FT T FT F E i i i IP E T E F T i T E F T i G E E TE E TE T FT T FT F E i i i IP E T E F T i T E F T i G E E TE E TE T FT T FT F E i 思考 当非终结符A面临输入符号a 且a不属于A的任意候选首符集 但A的某个候选首符集包含 时 是否就一定可以使A自动匹配 A 呢 需要做判断 有当a是允许在文法的某个句型中跟在A后面的终结符时 才可能允许A自动匹配 否则 a在这里的出现就是一个语法错误 i i IP E T E F T i T E F T i G E E TE E TE T FT T FT F E i S T 能否用A 自动匹配 需要判断当前输入符号是否在紧跟在A后面的终结符集FOLLOW A 中 假定S是文法G的开始符号 对于G的任何非终结符A 我们定义 特别是 若 则规定 FOLLOW A 4 3 3LL 1 分析条件 构造不带回溯的自上而下分析的文法条件1 文法不含左递归 2 对于文法中每一个非终结符A的各个产生式的候选首符集两两不相交 即 若A 1 2 n则FIRST i FIRST j i j 3 对文法中的每个非终结符A 若它存在某个候选首符集包含 则FIRST i FOLLOW A i 1 2 n如果一个文法G满足以上条件 则称该文法G为LL 1 文法 第一个L 从左到右扫描输入串第二个L 最左推导1 分析时每一步只需向前查看一个符号 对于一个满足上述条件的文法 可以对其输入串进行有效的无回溯的自上而下分析 假设要用非终结符A进行匹配 面临的输入符号为a A的所有产生式为A 1 2 n1 若a FIRST i 则指派 i执行匹配任务 2 若a不属于任何一个候选首符集 则 1 若 属于某个FIRST i 且a FOLLOW A 则让A与 自动匹配 2 否则 a的出现是一种语法错误 求FIRST X 的算法如下 p80 若X VT 则FIRST X X 若X VN 且有产生式X a a VT则把a加入到FIRST X 中 若X VN X 则 FIRST X 中 对每个文法符号X VT VN 连续使用下面的规则 直至每个FIRST X 不再增大为止 b 当Y1 Y2 Yi 1都 1 i n 则FIRST Y1 FIRST Y2 FIRST Yi 都包含在FIRST X 中 c 当Y1 Y2 Yk都 则 FIRST X 此时FIRST X FIRST Y1 FIRST Y2 FIRST Yk 若X Y1 Y2 Yk VN 且有产生式X Y1Y2 Yk a 当Y1不能 则FIRST Y1 中的所有符号都在FIRST X 中 对每个非终结符A 连续使用下面的规则 直至每个FOLLOW A 不再增大为止 对于文法的开始符号S 置 于FOLLOW S 中 对于A B 的产生式 则把FIRST 加至FOLLOW B 中 对于A B或A B 其中 则把FOLLOW A 加至FOLLOW B 中 求FOLLOW A 的算法如下 p82 注意 永远不进follow集 例4 6对于文法G E E TE E TE T FT T FT F E i构造每个非终结符的FIRST和FOLLOW集合 FIRST E i FIRST E FIRST T i FIRST T FIRST F i FOLLOW E FOLLOW E FOLLOW T FOLLOW T FOLLOW F 4 4递归下降分析程序构造 构造不带回溯的自上而下分析程序要消除文法的左递归性克服回溯 主要思路 分析程序由一组递归过程组成 对文法的每一个非终结符 语法变量 构造一个相应的子程序 识别对应的语法单位 通过子程序间的相互调用实现对输入串的识别 这样的分析程序称为递归下降分析器 因为文法的定义通常是递归的 递归下降分析程序构造 几个全局过程和变量 ADVANCE 把输入串指示器IP指向下一个输入符号 即读入一个单字符号SYM IP当前所指的输入符号ERROR 出错处理子程序 注意 每个非终结符有对应的子程序的定义在分析过程中 当需要从某个非终结符出发进行语法树展开 推导 时 就调用这个非终结符对应的子程序 子程序的名字可与对应的非终结符的名字相同例 A TE BC 递归下降子程序 A TE BC 对应的递归下降子程序为 PROCEDUREA BEGINIFSYM FIRST TE THENBEGINT E END 先调用T子程序 再调用E ELSEIFSYM FIRST BC THENBEGINB CEND 先调用B子程序 再调用CELSEIFSYM FOLLOW A THENBEGINEND ELSEERROREND ELSEIFSYM FOLLOW A THENERROR 例 文法G E E TE E TE T FT T FT F E i对应的递归下降子程序为 PROCEDUREF IFSYM i THENADVANCEELSEIFSYM THENBEGINADVANCE E IFSYM THENADVANCEELSEERRORENDELSEERROR 例 文法G E E TE E TE T FT T FT F E i对应的递归下降子程序为 PROCEDUREE BEGINT E END PROCEDUREE IFSYM THENBEGINADVANCE T E END PROCEDUREE IFSYM THENBEGINADVANCE T E ENDELSEIFSYM ANDSYM THENERROR FOLLOW E PROCEDURET BEGINF T END PROCEDURET IFSYM THENBEGINADVANCE F T END 例 文法G E E TE E TE T FT T FT F E i对应的递归下降子程序为 主程序 PROGRAMPARSER BEGINADVANCE E IFSYM THENERROREND 在元符号 和 的基础上 扩充几个元语言符号 1 用花括号 表示闭包运算 2 用表示 0n可任意重复0次至n次 3 用方括号 表示 01 即表示 的出现可有可无 等价于 引入上述元符号的文法亦称扩充的巴科斯范式 文法的另一种表示法和转换图 例如 通常的 实数 可定义为 decimal sign integer digit exponent exponent E sign integerinteger digit digit sign 用扩充的巴科斯范式来描述语法 直观易懂 便于表示左递归消去和因子提取 例4 5文法E T E TT F T FF i E 可表示成E T T T F F F i E 4 6 E T T T F F F i E 4 6 可以用语法图来表示语言的文法 E T T T F F F i E 4 6 可构造一组递归下降分析程序 PROCEDUREE BEGINT WHILESYM DOBEGINADVANCE TENDEND PROCEDURET BEGINF WHILESYM DOBEGINADVANCE FENDEND E T T T F F F i E 4 6 可构造一组递归下降分析程序 E T T T F F F i E 4 6 可构造一组递归下降分析程序 PROCEDUREF IFSYM i THENADVANCEELSEIFSYM THENBEGINADVANCE E IFSYM THENADVANCEELSEERRORENDELSEERROR 1 文法不含左递归 2 对于文法中每一个非终结符A的各个产生式的候选首符集两两不相交 即 若A 1 2 n则FIRST i FIRST j i j 3 对文法中的每个非终结符A 若它存在某个候选首符集包含 则FIRST i FOLLOW A i 1 2 n如果一个文法G满足以上条件 则称该文法G为LL 1 文法 回顾 LL 1 文法条件 LL 1 分析法 假设要用非终结符A进行匹配 面临的输入符号为a A的所有产生式为 A 1 2 n1 若a FIRST i 则指派 i执行匹配任务 2 若a不属于任何一个候选首符集 则 1 若 属于某个FIRST i 且a FOLLOW A 则让A与 自动匹配 2 否则 a的出现是一种语法错误 回顾 LL 1 分析法 分析程序由一组递归过程组成 文法中每个非终结符对应一个过程 所以这样的分析程序称为递归下降分析器 因为文法的定义通常是递归的 每个非终结符有对应的子程序的定义 首先在分析过程中 当需要从某个非终结符出发进行展开 推导 时 就调用这个非终结符对应的子程序 回顾 构造不带回溯的自上而下分析器 特征 根据当前输入符号 为当前要处理的非终结符选择产生式 要求 文法是LL 1 的 4 5预测分析程序 预测分析器模型 预测分析器模型 分析栈STACK用于存放文法符号 分析开始时 栈底先放一个 然后放进文法开始符号 预测分析器模型 预测分析表是一个M A a 形式的矩阵 A VN a VT是终结符或 矩阵元素M A a 中存放着一条关于A的产生式 指出当A面临输入符号a时所采用的候选 M A a 中也可能存放一个 出错标志 指出A根本不该面临输入符号a 某文法的LL 1 预测分析表 预测分析器模型 总控程序在任何时候都是按STACK栈顶符号X和当前的输入符号a行事 它总是执行下述三种可能的动作之一 1 若X a 则宣布分析成功 停止分析 2 若X a 则把X从STACK栈顶逐出 让a指向下一个输入符号 匹配成功 总控程序根据现行栈顶符号X和当前输入符号a 执行下列三种动作之一 3 若X是一个非终结符 则查看分析表M 若M X a 中存放着关于X的一个产生式 把X逐出STACK栈顶 把产生式的右部符号串按反序一一推进STACK栈 若右部符号为 则意味不推什么东西进栈 在把产生式的右部符号推进栈的同时应做这个产生式相应的语义动作 目前暂且不管 若M X a 中存放着 出错标志 则调用出错诊察程序ERROR 推导 预测分析程序的总控程序 BEGIN首先把 然后把文法开始符号推进STACK栈 把第一个输入符号读进a FLAG TRUE WHILEFLAGDOBEGIN把STACK栈顶符号上托出去并放在X中 IFX VTTHENIFX aTHEN把下一输入符号读进aELSEERROR 匹配成功 ELSEIFX THENIFX aTHENFLAG FALSEELSEERRORELSEIFM X a X X1X2 Xk THEN把Xk Xk 1 X1一一推进STACK栈 若X1X2 Xk 不推什么进栈 ELSEERRORENDOFWHILE STOP 分析成功 过程完毕 END 分析成功 推导 例4 6对于文法G E E TE E TE T FT T FT F E i输入串为i1 i2 i3 利用分析表进行预测分析 步骤符号栈输入串所用产生式0 Ei1 i2 i3 1 E Ti1 i2 i3 E TE 2 E T Fi1 i2 i3 T FT 3 E T ii1 i2 i3 F i 步骤符号栈输入串所用产生式3 E T ii1 i2 i3 F i4 E T i2 i3 5 E T F i2 i3 T FT 6 E T Fi2 i3 7 E T ii2 i3 F i 步骤符号栈输入串所用产生7 E T ii2 i3 F i8 E T i3 9 E i3 T 10 E T i3 E TE 11 E Ti3 步骤符号栈输入串所用产生11 E Ti3 12 E T Fi3 T FT 13 E T ii3 F i14 E T 15 E T 16 E 预测分析表M A a 的构造 构造与文法G有关的集合FIRST和FOLLOW构造分析表M A a 求FIRST X 的算法如下 p80 若X VT 则FIRST X X 若X VN 且有产生式X a a VT则把a加入到FIRST X 中 若X VN X 则 FIRST X 中 对每个文法符号X VT VN 连续使用下面的规则 直至每个FIRST X 不再增大为止 b 当Y1 Y2 Yi 1都 1 i n 则FIRST Y1 FIRST Y2 FIRST Yi 都包含在FIRST X 中 c 当Y1 Y2 Yk都 则 FIRST X 此时FIRST X FIRST Y1 FIRST Y2 FIRST Yk 若X Y1 Y2 Yk VN 且有产生式X Y1Y2 Yk a 当Y1不能 则FIRST Y1 中的所有符号都在FIRST X 中 对每个非终结符A 连续使用下面的规则 直至每个FOLLOW A 不再增大为止 对于文法的开始符号S 置 于FOLLOW S 中 对于A B 的产生式 则把FIRST 加至FOLLOW B 中 对于A B或A B 其中 则把FOLLOW A 加至FOLLOW B 中 求FOLLOW A 的算法如下 p82 注意 永远