编译原理问题（一）

单词识别

• 单词识别：识别整数和浮点数
  

现有一文法如下
$$\begin{gathered} (1)E\to E+E \\ (2)E\to E\ast E \\ (3)E\to (E) \\ (4)E\to i \end{gathered}$$

消除二义性：（添加优先级）
$$\begin{gathered} (1)E\to E+T|T \\ (2)T\to T\ast F|F \\ (3)F\to (E)|i \end{gathered}$$

消除左递归：
方法:有 $P\to P\alpha |\beta$的产生式将其替换为形式等价的产生式组：
$$\begin{gathered} (1)P\to \beta P^{\prime } \\ (2)P^{\prime }\to \alpha P^{\prime }｜\epsilon \end{gathered}$$
一般而言，若产生式形式为：
$A\to A{\alpha }_1|A{\alpha }_2|\dots |A{\alpha }_n|{\beta }_1|{\beta }_2|\dots |{\beta }_m$
将其替换为：
$$\begin{gathered} (1)A\to {\beta }_{1}B|{\beta }_{2}B|\dots |{\beta }_{m}B \\ （2)B\to {\alpha }_{1}B|{\alpha }_{2}B|\dots |{\alpha }_{n}B|\epsilon \end{gathered}$$
将上式消除左递归如下：
$$\begin{gathered} (1)E\to T{E}^{\prime } \\ (2)E^{\prime }\to +T{E}^{\prime }|\epsilon \\ (3)T\to F{T}^{\prime } \\ (4)T^{\prime }\to \ast F{T}^{\prime }|\epsilon \\ (5)F\to (E)|i \end{gathered}$$

消除回溯:
$A\to \delta \alpha 1|\delta \alpha 2|\dots |\delta \alpha n$ 转换成:
$$\begin{gathered} (1)A\to \delta A^{\prime } \\ (2)A^{\prime }\to \alpha 1|\alpha 2|\dots |\alpha n \end{gathered}$$

上式的文法产生式：