编译原理语法分析.pptVIP

消除回溯的方法二 第30页，共66页。 文法的两个条件 第31页，共66页。 扩充的巴科斯范式 前面的巴科斯范式只用到了两个元符号“→”和“|” 扩充几个元语言符号： 用花括号{α}表示闭包运算α*。 用{α}n0表示α可任意重复0次至n次。{α}00={α}0=ε. 用方括号[α]表示{α}10，即表示α的出现可有可无（等价于α |ε）。 例如，通常的“实数”可定义为： decimal→[sign]integer.{digit}[exponent] exponent→E[sign]integer integer→digit[digit] sign→+ | - 第32页，共66页。 递归下降分析程序的构造 当文法满足上述两个文法条件时，我们就可以为它构造一个不带回溯的自顶向下分析程序，这个分析程序是由一组递归过程组成的。每个过程对应文法的一个非终结符。这样的一个分析程序称为递归下降分析器。 E→E+T | T T→T*F | F F→(E) | i E→T{+T} T→F{*F} F→(E) | i 第33页，共66页。 递归下降分析程序构造 E→T{+T} T→F{*F} F→(E) | i PROCEDURE E; BEGIN T; WHILE SYM = ‘+’ DO BEGIN ADVANCE; T END END PROCEDURE T; BEGIN