3.5 LR分析器.ppt

中国科大 3.5 LR分析器 LR分析器的工作原理 关键问题：寻找句柄 基本思想： 一方面记住“历史” ?已移进和归约出的整个符号串， 一方面对未来进行“展望” ?根据所用的产生式推测未来可能遇到的输入符号。 当一串貌似句柄的符号串呈现于分析栈的顶端时， 根据 “历史”“展望” 及“现实”的输入符号三方面， 确定栈顶的符号是否构成相对某一产生式的句柄。 3.5 LR分析器 LR(k)分析技术 LR(K)分析 L—自左向右扫描输入串 R—最右推导的逆过程 K—每次根据当前的输入符号最多向前(右)查看K个 符号就可以唯一确定下一步动作. 3.5 LR分析器 LR(k)分析技术特点 规范归约 优点： 适用范围广，适用于大多数上下文无关文法描述的语言 分析速度快，能准确定位错误 缺点：LR分析器的构造工作量大 构造LR分析表的三种技术 简单的LR方法（SLR） 规范的LR方法 向前看的LR方法（LALR） LR分析器的逻辑结构（LR分析器的模型） 输入buffer 分析栈 总控程序 分析表 分析栈 符号栈 存放分析过程中移进的VT或归约出的VN。 状态栈 存放状态标记。状态Si包括： 栈中位于Si下面的全部信息； 就是记录分析过程从开始至此的整个分析历史； 分析表 动作表(ACTION) 状态转换表(GOTO) ACTION表 ACTION表的分析动作 ACTION[Sm, ai] 表示当前状态Sm面临输入符号ai时所完成的分析动作。 分析动作可分四类： 移进 归约 接受 出错 由栈顶状态和现行输入符唯一决定。 分析动作1）：移进 表明句柄尚未在分析栈的栈顶形成，期待继续移进符号，以形成句柄。 ACTION[Sm, ai] = ‘Sj’ 当前栈顶状态为Sm，输入符号为ai，应将输入符号ai移进分析栈的符号栈栈顶，同时将Sj移进分析栈的状态栈栈顶。 分析动作2）：归约 ACTION[Sm, ai] = ‘rj’ 表示按文法的第j条规则(产生式)进行归约。 设第j条规则为：A?Xm-r+1Xm-r+2 ?Xm 表明当前分析栈顶部的符号串 Xm-r+1Xm-r+2 ?Xm 已是当前句型的句柄，需要立即进行归约。 具体归约动作： 1.将分析栈自顶向下的r个符号弹出; 2 具体归约动作： 1.将分析栈自顶向下的r个符号弹出; 2.将A压入符号栈内; 3.再以 (Sm-r , A) 查 GOTO表， 若 GOTO[Sm-r, A]=S ， 则把 S 压入状态栈。 分析动作3）：接受 ACTION[ Sm, ai ]= ‘acc’ 表示当前输入的符号串分析成功，终止分析器工作。 接受时分析栈的格局： 分析动作4）：出错 ACTION[ Sm, ai ] = ‘error’ (空白) 表示当前输入的符号串中有语法错误，调用相应的出错处理程序。 GOTO表 状态转换 GOTO[Sm, Xi]是一个状态 表示当前状态Sm面临输入符号Xi时需转移到的下一个状态是什么。 此时： 以(Sm-r,A)查GOTO表， 若 GOTO[Sm-r, A] = S ， 则把 S 压入状态栈。 总控程序 总控程序是LR分析的实现算法。 描述如下： 初始化，将初始状态S0及输入符号串的左界符#推入分析栈； 从输入串中读入当前的输入符号ai，根据当前状态栈栈顶状态Sm与输入符号ai查分析表（ACTION表及GOTO表）。 重复2)直到出错或接受为止。 接受时分析栈的格局 3.5 LR分析器 例 E ? E + T | E ? T T ? T * F | T ? E F ? (E ) | F ? id 3.5 LR分析器 3.5 LR分析器 例 E ? E + T | E ? T T ? T * F | T ? E F ? (E ) | F ? id 3.5 LR分析器 3.5 LR分析器 3.5 LR分析器 例 E ? E + T | E ? T T ? T * F | T ? E F ? (E ) | F ? id 3.5 LR分析器 3.5 LR分析器 3.5 LR分析器 例 E ? E + T | E ? T T ? T * F | T ? E F ? (E ) | F ? id 3.5 LR分析器 3.5 LR分析器 3.5 LR分析器 3.5 LR分析器 3.5 LR分析器 3.5 LR分析器 3.5 LR分析器 3.5 LR分析器 3.5 LR分析器 3.5 LR分析器 3.5 LR分析器 3.5 LR分析器 LR文法