编译原理与编译构造 预测分析程序的构造

预测分析程序的构造

判断是否为合法表达式

预测

当前句型中，出现A，若A有多个产生式，需预测选择哪个产生式，从而可不要回溯，形如$A \to \alpha|B$

使用的是以下的结构

其中左边那个叫做$parsing \space stack$ ，右下角那个叫$PPT(predict \space parsing \space table)$ ，最上面的是传送带，是需要检验的表达式左右加上一个哨兵，即$i+i*i$ 是需要检验的表达式，$\$_L、\$_R$ 都是哨兵

判断$i+i*i$ 是否为一个合法表达式

我们假设有以下的文法：$E \to E + T | T \\ T \to T * F | F \\ F \to (E) | i$

在消除左递归后（消除方法见上节课的笔记），这个文法变成了这样：$E \to T E', E' \to + T E' | \epsilon \\ T \to FT',T' \to *FT'|\epsilon \\ F \to (E)|i$ ，注意，此时有递归，但是没有左递归，在$F \to (E)|i$ 中，产生式的最左边是$($

下面以刚刚的表达式来举例子。这时我们先拿来一张PPT

step 1

这是一个标准的开头，将传送带的 $\$_L$ 压入栈，然后这时候压一个开始符$E$

step 2

对于刚刚的栈顶元素$E$ ，我们对照传送带的最前面元素$i$ ，查找PPT中[$E, i$] ，得$E \to TE'$ ，于是把step1中的$E$ 弹出栈，然后从右往左压右边的产生式，即，先压$E'$ 后压$T$

step 3

与step 2做法相同，我们可以得到上图，当然是在step2的基础上查了两次表。此时有左边的栈顶为$i$ 和右边的传送带最前面为$i$ 。此时可以消去两个$i$ ，输入串指针后移一位，此时变成这样：

step 4

此时状态如上图，查[$T',+$] 有$T' \to \epsilon$ ，$T'$ 出栈

以下省略多步

step 12

查[$E', \$_R$] 有$E' \to \epsilon$ ，$E'$ 出栈

step 13

此时消失匹配，验证成功，是合法表达式

如果查表查不到，那么就是不合法的表达式

问题：

如何构造PPT?

构造PPT

First

$First(\alpha) = \{a|\alpha \mathop{\Rightarrow}\limits^+ a \cdots, a \in V_T \}$

更完整的定义：

$\alpha = a$ 则$First(\alpha) = \{a\}$

$\alpha = \epsilon$ 则$First(\alpha) = {\epsilon}$

$\alpha = \alpha_1 \alpha_2 \cdots \alpha_n$ ,

$$First(\alpha)=\left\{ \begin{aligned} &First(\alpha_1), \epsilon \in First(\alpha_1)\\ &(First(\alpha_1)-\epsilon ) \bigcup First(\alpha_2), \epsilon\in First(\alpha_2), and \space \epsilon \notin First(\alpha_1) \\& \cdots \end{aligned}\right.$$

e.g.

$E \to TE' ,\space T \to FT' ,\space F \to i$

$E' \to +TE', \space T' \to *FT', \space F \to(E)$

$E' \to \epsilon, T' \to \epsilon$

$First(TE') = First(FT'E') = First(F) = \{i, (\}$

遇到一个问题：对$\epsilon$ 产生式，如何处理？即$A \to \alpha|\epsilon$

用$Follow(A)$ 解决$\epsilon$ 产生式

Follow

$S \mathop{\Rightarrow}\limits^+ \cdots Aa \cdots$ 在句型中，跟在A之后的$V_T$ 就是$Follow(A)$

求解：观察产生式中的右部

$B \to \alpha A \beta$

① 当$\beta \mathop{\nRightarrow}\limits^+ \epsilon$ ，$Follow(A)=First(\beta)$

② 当$\beta \mathop{\Rightarrow}\limits^+ \epsilon$ ，$\left\{ \begin {align} \beta 推不出空 ，Follow(A) &= First(\beta) - {\epsilon} \\ \beta 推出空，Follow(A) &= Follow(B) \end {align} \right.$

e.g.

$Follow(E') = Follow(E) \bigcup Follow(E') = Follow(E) = \{\$_R, )\}$

注意一下，这里我们人为加了一个$\$_R$

$\begin{aligned}Follow(T') &= Follow(T) \bigcup Follow(T') \\ &=Follow(T) \\ &= \{First(E') - \epsilon\} \bigcup Follow(E') \\ &=\{+\} \bigcup \{\$_R, )\} \\ &= \{+, \$_R, )\}\end{aligned}$

LL(1)文法

第一个L：从左向右扫描

第二个L：最左推导

1：one character under reader，一次读一个字符

（1）有没有LL(0)？可能有

​ 有没有LL(2)？有，复杂度更高

（2）LL(1)文法的约束条件：

​ ①不能出现公共左因子

​ ②不能有左递归

​ ③不能有二义性

$CFG(上下文无关文法) \mathop{\Rightarrow}\limits^{预处理} G' \mathop{\Rightarrow}\limits^{First/Follow} PPT \Rightarrow LL(1)$

构造分析树(parsing tree)

①$E \to TE'$

②$T \to FT'$

③$F \to i$

④$T' \to \epsilon$

⑤$E' \to +TE'$

⑥$T \to F T'$

⑦$F \to i$

⑧$T' \to \epsilon$

⑨$E' \to \epsilon$

附：从语法构造预测分析表(PPT)的过程

语法：$E \to E + T | T \\ T \to T * F | F \\ F \to (E) | id$

步骤：

①消除左递归

$E \to TE' ,\space T \to FT' ,\space F \to i$

$E' \to +TE', \space T' \to *FT', \space F \to(E)$

$E' \to \epsilon, T' \to \epsilon$

②计算 $First, Follow$

附一下PPT

现在忽略一下过程直接写一部分结果，具体过程见手写笔记

$First(TE') = \{(, i\}$ ，填入$[E, (], [E, i]$ 的都是$E \to TE'$

$E' \to \epsilon,Follow(E') = \{),\$_R\}$ ，填入$[E', )], [E', \$_R]$ 的都是$E' \to \epsilon$

有此我们可以简单写个公式：$A \to B, \left \{ \begin{align} B = \epsilon, &\forall a \in Follow(B) \\ B \neq \epsilon, &\forall a \in First(A) \end{align}\right. ,[A, a] 内填的内容是A \to B$

当然由于$Follow(B) = Follow(A)$ ，因此如果为了方便记，可以都用A