lecture13SLR(1)文法.md · webturing/CompilingPrinciple

加入 Gitee

与超过 1200万开发者一起发现、参与优秀开源项目，私有仓库也完全免费：）

克隆/下载

lecture13SLR(1)文法.md 921 Bytes

提交于 2022-04-07 07:23 . 第13讲SLR(1)文法

# lecture 13- $SLR(1)$文法

## 重难点和授课安排

- 重点：$LR(0)$项目集构造; 冲突消解方法;
- 难点：利用产生式$Follow$集合 来解决$LR(0)$中的冲突
- 学时： 2 hour
- 形式： 讲解

## 复习
- $LR(0)$规范项目集的构造

- Shift-Reduce 分析中的冲突

  - Shift-Reduce Conflicting（移归冲突）
  - Reduce-Reduce Conflicting（归归冲突）

- LR(0)思想的不足：发现句柄位于栈中就一定归约么？

- 

- 

- S'->.S

- [S'-> .S, $]

## SLR(1)核心思想：** 利用产生式$Follow$集合 来解决$LR(0)$中的所有冲突 **

- 构造$LR(0)$项目集
- 计算文法的$First$ $Follow$ 表
- 尝试去消解 $LR(0)$文法中的冲突

## 结论：
- $LR(0)$文法一定是$SLR(1)$文法

## 习题：
- 证明表达式文法 $G[E]$:

- $$
  E->T|E+T\\
  T->F| T*F \\
  F->(E)|id
  $$

- **是$SLR(1)$文法**而不是$LR(0)$文法

-

马建仓 AI 助手

尝试更多

代码解读

代码找茬

代码优化

C++

https://gitee.com/webturing/CompilingPrinciple.git

git@gitee.com:webturing/CompilingPrinciple.git

webturing

CompilingPrinciple

master

webturing/CompilingPrinciple

简介

发行版

贡献者

近期动态

webturing/CompilingPrinciple .gitee-modal { width: 500px !important; }

简介

发行版

贡献者

近期动态

搜索帮助

webturing/CompilingPrinciple