怎样构造识别活前缀的DFA——编译原理

怎样构造识别活前缀的DFA

第一步 拓广文法

1. 拓广文法的定义
   拓广文法即在原文法的基础上进行拓广。其拓广内容是给原文法添加一个头，这个头表示最后一次归约完成之后的分析成功。
2. 构造拓广文法的一个简单实例
   $$\begin{gathered} 文法：E\to a|b \\ 拓广文法：E^{\prime }\to E,E\to a|b \end{gathered}$$

第二步 构造LR(0)项目集规范族

1. 构造第一个状态集合$I_0$
   • $$\begin{gathered} 使用拓广文法中添加的表达式（即上文所说的“头”） \\ 作为集合I_0中的初始元素 \end{gathered}$$
   • $\forall a\in I（a为表达式），如果a具有以下形式$
     $$A\to \alpha \cdot B\beta ，$$
     $$\begin{gathered} 其中\alpha 和\beta 可能为：终结符，非终结符，空串ϵ \\ B为非终结符且 \end{gathered}$$
     $$B\to \gamma$$
     $则将$
     $$B\to \cdot \gamma$$
     $加入I_0$
2. 构造其他状态集合$I_j$
   • $$\begin{gathered} 根据I_{j-1}中\cdot 在每个表达式中的位置找到\cdot 后的所有可能符号 \\ （包括终结符和非终结符），构成集合P \end{gathered}$$
   • $\forall \xi \in P，\exists (A\to \alpha \cdot \xi \beta )\in I_{j-1}，则将$
     $$A\to \alpha \xi \cdot \beta$$
     $加入I_j$
   • $j从1到n依次按照上述规则递推$

第三步 构造DFA

依据已经构造好的状态集合和转换关系画图即可