【编译原理笔记07】语法分析：SLR、LR(1)、LALR、二义性分析与错误处理

枇杷鹭

于 2020-07-28 12:17:51 发布

阅读量1w

点赞数 13

分类专栏：编译原理文章标签：编程语言 SLR 编译原理语法分析

本文链接： https://blog.csdn.net/weixin_42815609/article/details/107631357

版权

本文详细讲解了SLR、LR(1)和LALR分析法，包括它们的基本思想、分析表构造、冲突处理以及二义性文法的LR分析。SLR通过FOLLOW集减少LR(0)的冲突，但仍有局限；LR(1)引入前瞻符，提供更强的分析能力，但也可能导致状态过多；LALR通过合并同心项集，平衡了状态数和分析能力。同时，文章探讨了二义性文法的特点和错误处理策略，如恐慌模式和短语层次错误恢复。

摘要由CSDN通过智能技术生成

本次笔记内容：
4-12 SLR
4-13 LR1分析
4-14 LALR分析法
4-15 二义性文法的LR分析
4-16 LR分析中的错误处理

本节课幻灯片，见于我的 GitHub 仓库：第7讲语法分析_4.pdf

文章目录

- - SLR分析
  - - 基本思想
    - SLR分析表
    - 例：SLR分析法构造
    - SLR 分析表构造算法
    - SLR分析中的冲突
  - LR(1)分析法
  - - 规范LR(1)项目
    - 等价LR(1)项目
    - 例：LR(1)自动机
    - 例：赋值语句文法的LR(1)分析表
    - LR(1)项目集闭包
    - GOTO函数
    - 为文法G' 构造LR(1)项集族
    - LR(1)自动机的形式化定义
    - LR分析表的构造算法
  - LALR 分析法
  - - LR(1)的局限性
    - 基本思想
    - 例：合并通信项集
    - 合并同心项集时产生归约-归约冲突的例子
    - 合并同心项集后，虽然不产生冲突，但可能会推迟错误的发现
    - LALR(1)的特点
  - 二义性文法的LR分析
  - - 二义性文法的特点
    - 二义性算术表达式文法的LR(0)分析器
    - 例：二义性if 语句文法的LR分析
    - 二义性文法的使用
  - LR分析中的错误处理
  - - 恐慌模式错误恢复
    - 短语层次错误恢复
    - 例：算数表达式文法的LR分析器
    - 带有错误处理子程序的算术表达式文法LR分析表