【编译原理】01LL(1)文法

最新推荐文章于 2024-06-24 22:53:21 发布

Tiya_s

最新推荐文章于 2024-06-24 22:53:21 发布

阅读量2.7k

点赞数 1

分类专栏：编译原理文章标签：算法

本文链接：https://blog.csdn.net/qq_45775524/article/details/124531837

版权

编译原理专栏收录该内容

5 篇文章 2 订阅

订阅专栏

语法分析方法综述

每一种语法分析方法都有相应的局限性，只有对于特定的文法才可以使用相应的语法分析方法。

自顶向下：推导 ANTLR4（成功案例）
- 确定的自顶向下分析方法：LL(1)分析法
  - 递归下降LL(1)
  - 表驱动LL(1)分析-预测分析法
自底向上：归约 BISON（成功案例）
- 优先分析法
  - 简单优先
  - 算符优先
- LR分析法
  - LR(0) → SLR(1) → LR(1)
  - LALR(1) Bison

文法之间的关系

自顶向下的语法分析思想

确定的自顶向下语法分析思想：

从分析树的 顶部（根节点）向底部（叶节点） 方向构造分析树。
为文法开始符号S推导出词串w的过程
每一步推导中：
- 替换当前句型中的哪个非终结符
- 使用该非终结符的哪个候选产生式

策略：

非终结符的选择：最左推导
候选产生式
- 根据输入流的下一个终结符，选择最左非终结符的某一个候选产生式
- 不确定的自顶向下：穷举产生式
- 确定的自顶向下：选择唯一可能推导出输入串w的规则进行推导

First()-串首（终结）符号集

同一非终结符的多个产生式，若右部的FIRST集无交集，则推导是确定的。

如果X是一个终结符号，那么 $F I RST (X) = X$
如果X是一个非终结符号，且 $X$ → $Y_1Y_2...Y_k$ 是一个产生式，其中 $\geq 1$ ；
那么如果对于某个 $i$ ， $a$ 在 $FIRST(Y_i$ )中且 $\varepsilon$ 在所有的 $FIRST(Y_1)$ , $FIRST(Y_2)$ , …, $FIRST(Y_{i-1})$ 中，就把 $a$ 加入到 $F I RST (X)$ 中。
（a理解为某个终结符）
如果 $X\rightarrow \varepsilon$ 是一个产生式，那么将 $\varepsilon$ 加入到 $F I RST (X)$ 中。

Follow()-非终结符的后继（终结）符号集

任意句型中紧邻非终结符号X之后出现的中介符号a组成的集合。

将$放到 $FO LL O W (S)$ 中，其中 $S$ 是开始符号，而$是输入右端的结束标记。
如果存在一个产生式 $A\rightarrow\alpha B\beta$ ，那么 $FIRST(\beta)$ 中除 $\varepsilon$ 之外的所有符号都在 $FO LL O W (B)$ 中。
如果存在一个产生式 $\rightarrow \alpha B$ ，或存在产生式 $A\rightarrow \alpha B \beta$ 且 $FIRST(\beta)$ 中包含 $\varepsilon$ ，那么 $FO LL O W (A)$ 中的所有符号都在 $FO LL O W (B)$ 中。

SELECT（A →α）-产生式的可选集

（也就是对于这个产生式能不能填入M[A->α,α]的预测分析表单元格中）
在这里插入图片描述

在这里插入图片描述

LL(1)文法的判定与构造

定义：文法G是LL(1)的，当且仅当对每个 $V_N$ ，A的两个不同产生式A → $\alpha$ , A→ $\beta$ ，满足 $→\alpha)\cap SELECT(A \rightarrow \beta)=\emptyset$
其中， $\alpha$ , $\beta$ 不能同时推导出 $\varepsilon$
性质：确定的，无二义性的。