如何依据活前缀的DFA构造SLR分析表——编译原理

如何依据活前缀的DFA构造SLR分析表

第一步 各个符号和函数的意义

1. $s_j$：进栈当前元素，再进栈状态$j$（即当前状态变为状态$j$）
2. $r_j$：归约栈中已有的元素（当前元素暂时不处理）,归约的依据为第$j$条产生式
3. $goto[I_j,a]$：
   1. 定义：当前状态和当前元素到下一状态的映射
   2. 计算规则：如果有状态$q$遇到$a$之后转换为状态$p$，说明$I_p=goto[I_q,a]$
4. $action[i,a]$：
   1. 定义：当前状态号和当前元素到应该采取的动作的映射
   2. 计算规则：依据·的位置讨论以下情形
      1. 如果$A\to \alpha \cdot a\beta$（即 $\cdot$ 恰好在某个终结符a之前），且$goto[I_i,a]=I_j$（此时$a$恰好能够推动状态转换），则 $action[i,a]=j$（表示$i$状态在遇到终结符$a$之后转换为$j$状态）
      2. 如果$A\to \alpha \cdot$（即 $\cdot$ 恰好在产生式末尾），则$\forall a\in FOLLOW(A)$有$action[i,a]=r_j$（即判断出在a移进之前要先处理栈内的元素才能保证处理的正确性），其中$j$为产生式$A\to \alpha$的编号
      3. 如果$(S^{\prime }\to S\cdot )\in I_j$（即 $\cdot$ 所在的位置标志着最终完成），得出$action[j,dollar]=acc$

第二步 构造SLR分析表

根据上述方法计算$goto$函数和$action$函数的所有值，将这些值填入如下所示的表格中

状态	动作（action）	转移（goto）
	a	E
0	$s_i$	$r_q$
1	$r_j$	$acc$
$⋮$	$⋮$	$⋮$

注：上图仅为示例，其中$action[i,a]$填入表的$action$部分的状态$i$行元素$a$列，$goto$同理