编译原理期末速成二

编译原理期末速成（二）

LL(1) 文法：求 First、Follow 集，预测分析表

定义

依次表示表示自左向右扫描、最左推导、每次（只需）向右读取一个字符

1. 文法不含左递归

   公式形如 $ p \rightarrow p \alpha |\beta $ 消除左递归

   • $p\to \beta p^{{}^{\prime }}$
   • $p^{{}^{\prime }}\to \alpha p^{{}^{\prime }}|ϵ$

2. 非终结符产生式的候选字符集两两不相交

3. 非终结符

   $A \rightarrow \alpha_1 | \alpha_2 ……|\epsilon $

   有 $First(A)\cap Follow(A)=\varnothing$

求 First 和 Follow

$E\to E+T|T$

$T\to T\ast F|F$

$F\to (E)|i$

消除左递归

• 对于 $E$

  (1)$E\to T{E}^{{}^{\prime }}$

  (2)$E^{{}^{\prime }}\to +T{E}^{{}^{\prime }}|ϵ$

• 对于 $T$

  (3)$T\to F{T}^{{}^{\prime }}$

  (4)$T^{{}^{\prime }}\to \ast F{T}^{{}^{\prime }}|ϵ$

(5) $F\to (E)|i$

求解

四项基本原则

1. 直接推 （$\to$）
2. 最前 || 最后
3. $F\to PQ$ （进入）
4. 紧挨着 （右侧紧挨着的）

$First$ 遵循123，$Follw$ 遵循 234

First

待求：

1. $First(E)$
2. $First(E^{{}^{\prime }})$
3. $First(T)$
4. $First(T^{{}^{\prime }})$
5. $First(F)$

对于 1 中的 E，依次有非终结符序列 $E\to T\to F$，$F$ 能直接推的包括 $(,i)$， 从而有 $First(F)=\{(,i\}=First(T)=First(E)$

对于 2 中的 $E^{{}^{\prime }}$，有 F i r s t ( E ′ ) = { + , ϵ } First(E^{'}) = \{+,\epsilon\} First(E′)={+,ϵ}

对于 4 中的 $T^{{}^{\prime }}$，有 F i r s t ( T ′ ) = { ∗ , ϵ } First(T^{'}) = \{*,\epsilon\} First(T′)={∗,ϵ}

综上所述：

1. $First(E)=\{(,i\}$
2. F i r s t ( E ′ ) = { + , ϵ } First(E^{'}) = \{+,\epsilon \} First(E′)={+,ϵ}
3. $First(T)=\{(,i)\}$
4. F i r s t ( T ′ ) = { ∗ , ϵ } First(T^{'}) = \{*,\epsilon\} First(T′)={∗,ϵ}
5. $First(F)=\{(,i)\}$

Follow

待求：

1. $Follow(E)$
2. $Follow(E^{{}^{\prime }})$
3. $Follow(T)$
4. $Follow(T^{{}^{\prime }})$
5. $Follow(F)$

对于 $E$，（右侧）挨着的有 $($，对于开始符号必定有 $\#$，从而有 F o l l o w ( E ) = { ) , # } Follow (E) = \{),\#\} Follow(E)={),#}

根据产生式 (1)$E\to T{E}^{{}^{\prime }}$、规则 3 ，知 $Follow(E)$ “进入” $Follow(T)$ 和 $Follow(E^{{}^{\prime }})$，从而有 F o l l o w ( E ′ ) = { ) . # Follow (E^{'}) = \{).\# Follow(E′)={).#， F o l l o w ( T ) = { ) , # Follow(T) = \{),\# Follow(T)={),#

注意此时均未完待续（没有右侧大括号）

检查 $Follow(E^{{}^{\prime }})$，右侧无元素（紧挨着）、没有 $E^{{}^{\prime }}\to$，则确定 F o l l o w ( E ′ ) = { ) . # Follow (E^{'}) = \{).\# Follow(E′)={).#

检查 $Follow(T)$，对于产生式 (2)$E^{{}^{\prime }}\to +T{E}^{{}^{\prime }}|ϵ$ ，有 $E{}^{\prime }$ 紧挨着，则将 $First(E^{{}^{\prime }})$ 中的非 $ϵ$ 元素加入 $Follow(T)$

综上所述：

1. F o l l o w ( E ) = { ) , # } Follow(E) = \{),\#\} Follow(E)={),#}
2. F o l l o w ( E ′ ) = { ) , # , Follow(E^{'}) = \{),\#, Follow(E′)={),#,
3. F o l l o w ( T ) = { ) , # , + } Follow(T) = \{),\#,+\} Follow(T)={),#,+}
4. F o l l o w ( T ′ ) = { ) , # , + Follow(T^{'}) = \{),\#,+ Follow(T′)={),#,+
5. F o l l o w ( F ) = { ) , # , + , ∗ } Follow(F) = \{),\#,+,*\} Follow(F)={),#,+,∗}

此时 123 已完成

由 (3)$T\to T^{{}^{\prime }}F$ 、规则 3 可知

• F o l l o w ( T ′ ) = F o l l o w ( T ) + s o m e t h i n g = { ) , # , + Follow(T^{'}) = Follow(T) + something = \{),\#,+ Follow(T′)=Follow(T)+something={),#,+

  $T^{{}^{\prime }}$ 无 4 ，则此处 $something=\varnothing$， F o l l o w ( T ′ ) = { ) , # , + } Follow(T^{'}) = \{),\#,+\} Follow(T′)={),#,+}

• F o l l o w ( F ) = F o l l o w ( T ) + s o m e t h i n g = { ) , # , + Follow(F^{}) = Follow(T) + something = \{),\#,+ Follow(F)=Follow(T)+something={),#,+

  根据文法（3），规则 4 ，将 $\ast$ 加入

对于同一非终结符、且含空的First和Follow，二者是否有交集

$\#$，$ϵ$ 视作不同

$First(E^{{}^{\prime }})\cap Follow(E^{{}^{\prime }})=\varnothing$

$First(T^{{}^{\prime }})\cap Follow(T^{{}^{\prime }})=\varnothing$

预测分析表

参考 First 的部分

列为非终结符、行为终结符

	i	+	*	(	)	#
$E^{}$
$E^{{}^{\prime }}$
$T$
$T^{{}^{\prime }}$
$F$

对于所有非终结符，$First$ 的字符填上（产生式）

对于 $First(E)$，即终结符 $(,i$，使用产生式 （1）

	i	+	*	(	)	#
$E^{}$	$E\to T{E}^{{}^{\prime }}$			$E\to T{E}^{{}^{\prime }}$
$E^{{}^{\prime }}$
$T$
$T^{{}^{\prime }}$
$F$

对于 $First(E^{{}^{\prime }})$，即终结符 $+,ϵ$，使用仅有产生式 (2)

注意含 $ϵ$ 的部分的处理，也就是对于“或”的处理

	i	+	*	(	)	#
$E^{}$	$E\to T{E}^{{}^{\prime }}$			$E\to T{E}^{{}^{\prime }}$
$E^{{}^{\prime }}$		$E^{‘} \rightarrow +TE^{’} $				$E^{{}^{\prime }}\to ϵ$
$T$
$T^{{}^{\prime }}$
$F$

对于 $First(T)$，即终结符 $(,i$，使用产生式 （3）

	i	+	*	(	)	#
$E^{}$	$E\to T{E}^{{}^{\prime }}$			$E\to T{E}^{{}^{\prime }}$
$E^{{}^{\prime }}$		$E^{‘} \rightarrow +TE^{’} $				$E^{{}^{\prime }}\to ϵ$
$T$	$T\to F{T}^{{}^{\prime }}$			$T\to F{T}^{{}^{\prime }}$
$T^{{}^{\prime }}$
$F$

对于 $First(T^{{}^{\prime }})$，即终结符 $\ast ,ϵ$，使用产生式 （4）

	i	+	*	(	)	#
$E^{}$	$E\to T{E}^{{}^{\prime }}$			$E\to T{E}^{{}^{\prime }}$
$E^{{}^{\prime }}$		$E^{‘} \rightarrow +TE^{’} $				$E^{{}^{\prime }}\to ϵ$
$T$	$T\to F{T}^{{}^{\prime }}$			$T\to F{T}^{{}^{\prime }}$
$T^{{}^{\prime }}$			$T^{‘} \rightarrow *F T^{’} $			$T^{{}^{\prime }}\to ϵ$
$F$

对于 $First(F^{})$，即终结符 $(,i$，使用产生式 （5）

	i	+	*	(	)	#
$E^{}$	$E\to T{E}^{{}^{\prime }}$			$E\to T{E}^{{}^{\prime }}$
$E^{{}^{\prime }}$		$E^{‘} \rightarrow +TE^{’} $				$E^{{}^{\prime }}\to ϵ$
$T$	$T\to F{T}^{{}^{\prime }}$			$T\to F{T}^{{}^{\prime }}$
$T^{{}^{\prime }}$			$T^{‘} \rightarrow *F T^{’} $			$T^{{}^{\prime }}\to ϵ$
$F$	$F\to i$			$F\to (E)$

参考 Follow 的部分

对于新引进的非终结符（此处是 $T^{{}^{\prime }}$ 和 $E^{{}^{\prime }}$），$Follow$ 集也要补上

用 $ \rightarrow \epsilon$ 补充

	i	+	*	(	)	#
$E^{}$	$E\to T{E}^{{}^{\prime }}$			$E\to T{E}^{{}^{\prime }}$
$E^{{}^{\prime }}$		$E^{‘} \rightarrow +TE^{’} $			$E^{{}^{\prime }}\to ϵ$	$E^{{}^{\prime }}\to ϵ$
$T$	$T\to F{T}^{{}^{\prime }}$			$T\to F{T}^{{}^{\prime }}$
$T^{{}^{\prime }}$		$ T^{'} \rightarrow \epsilon$	$T^{‘} \rightarrow *F T^{’} $		$ T^{'} \rightarrow \epsilon$	$T^{{}^{\prime }}\to ϵ$
$F$	$F\to i$			$F\to (E)$

根据预测分析表写推导

每一步包括对三个部分的处理

• 对分析栈

  1. 入栈

     • 如果是步骤1，则将 $\#$ 和开始符依次入栈
     • 如果非步骤1，则将上一步推导公式的结果（右侧部分）入栈

     此处注意入栈的顺序，如推导式 $E\to T{E}^{{}^{\prime }}$，其入栈的顺序为 先 $E^{{}^{\prime }}$ 后 $T$

  2. 寻找产生式

     将分析栈栈顶元素取出，与剩余串串首元素对比

     • 栈顶元素 == 剩余串串首元素，
     • 栈顶元素 ！= 剩余串串首元素，则在预测分析表中寻找对应产生式

• 对剩余串

  若上一步骤完成了“匹配”，将串首元素移除

• 推导式

  • 匹配，记作 $分析站栈顶元素\to 剩余串串首元素$
  • 不匹配，写出对应的产生式

如此循环到 $分析站顶元素=剩余串串首元素=\#$ ，匹配结束，句子被正确的接收

仍旧以上述文法为基础，以产生式 $i+i\ast i\#$ 为例

步骤	分析栈	剩余串	推导公式
1	$\#E$	$i+i\ast i\#$	$E\to T{E}^{{}^{\prime }}$

1. 将 $\#$ 和开始符入栈
2. 取出栈顶元素 $E$，与串首元素 $i$ 对比，寻找推导式

步骤	分析栈	剩余串	推导公式
1	$\#E$	$i+i\ast i\#$	$E\to T{E}^{{}^{\prime }}$
2	$\#ET$	$i+i\ast i\#$	$T\to F{T}^{{}^{\prime }}$

1. 将上一步推导式右侧入栈
2. 取出栈顶元素 $T$，与串首元素 $i$ 对比，寻找推导式

步骤	分析栈	剩余串	推导公式
1	$\#E$	$i+i\ast i\#$	$E\to T{E}^{{}^{\prime }}$
2	$\#E^{{}^{\prime }}T$	$i+i\ast i\#$	$T\to F{T}^{{}^{\prime }}$
3	$\#E^{{}^{\prime }}{T}^{{}^{\prime }}F$	$i+i\ast i\#$	$F\to i$

1. 将上一步推导式右侧入栈
2. 取出栈顶元素 $F$，与串首元素 $i$ 对比，寻找推导式

步骤	分析栈	剩余串	推导公式
1	$\#E$	$i+i\ast i\#$	$E\to T{E}^{{}^{\prime }}$
2	$\#E^{{}^{\prime }}T$	$i+i\ast i\#$	$T\to F{T}^{{}^{\prime }}$
3	$\#E^{{}^{\prime }}{T}^{{}^{\prime }}F$	$i+i\ast i\#$	$F\to i$
4	$\#E^{{}^{\prime }}{T}^{{}^{\prime }}i$	$i+i\ast i\#$	$i$ 匹配

1. 将上一步推导式右侧入栈
2. 取出栈顶元素 $i$，与串首元素 $i$ 对比，寻找推导式
3. 完成匹配

步骤	分析栈	剩余串	推导公式
1	$\#E$	$i+i\ast i\#$	$E\to T{E}^{{}^{\prime }}$
2	$\#E^{{}^{\prime }}T$	$i+i\ast i\#$	$T\to F{T}^{{}^{\prime }}$
3	$\#E^{{}^{\prime }}{T}^{{}^{\prime }}F$	$i+i\ast i\#$	$F\to i$
4	$\#E^{{}^{\prime }}{T}^{{}^{\prime }}i$	$i+i\ast i\#$	$i$ 匹配
5	$\#E^{{}^{\prime }}{T}^{{}^{\prime }}$	$+i\ast i\#$	$ T^{'} \rightarrow \epsilon$

1. 上一步没有推导式，没有符号入栈
2. 上一步完成了匹配，剩余串栈顶元素删除
3. 取出栈顶元素 $T^{{}^{\prime }}$，与串首元素 $i$ 对比，寻找推导式

步骤	分析栈	剩余串	推导公式
1	$\#E$	$i+i\ast i\#$	$E\to T{E}^{{}^{\prime }}$
2	$\#E^{{}^{\prime }}T$	$i+i\ast i\#$	$T\to F{T}^{{}^{\prime }}$
3	$\#E^{{}^{\prime }}{T}^{{}^{\prime }}F$	$i+i\ast i\#$	$F\to i$
4	$\#E^{{}^{\prime }}{T}^{{}^{\prime }}i$	$i+i\ast i\#$	$i$ 匹配
5	$\#E^{{}^{\prime }}{T}^{{}^{\prime }}$	$+i\ast i\#$	$ T^{'} \rightarrow \epsilon$
6	$\#E^{{}^{\prime }}$	$+i\ast i\#$	$E^{‘} \rightarrow +TE^{’} $

1. 上一步推导式右侧为空，没有符号入栈
2. 取出栈顶元素 $ E^{'}$，与串首元素 $i$ 对比，寻找推导式

步骤	分析栈	剩余串	推导公式
1	$\#E$	$i+i\ast i\#$	$E\to T{E}^{{}^{\prime }}$
2	$\#E^{{}^{\prime }}T$	$i+i\ast i\#$	$T\to F{T}^{{}^{\prime }}$
3	$\#E^{{}^{\prime }}{T}^{{}^{\prime }}F$	$i+i\ast i\#$	$F\to i$
4	$\#E^{{}^{\prime }}{T}^{{}^{\prime }}i$	$i+i\ast i\#$	$i$ 匹配
5	$\#E^{{}^{\prime }}{T}^{{}^{\prime }}$	$+i\ast i\#$	$ T^{'} \rightarrow \epsilon$
6	$\#E^{{}^{\prime }}$	$+i\ast i\#$	$E^{‘} \rightarrow +TE^{’} $
7	$\#E^{{}^{\prime }}T+$	$+i\ast i\#$	$+$ 匹配

1. 将上一步推导式右侧入栈
2. 取出栈顶元素 $i$，与串首元素 $i$ 对比，寻找推导式
3. 完成匹配

编辑不易，后续内容省略，此推导共 $17$ 步，最终能接受

自底向上的语法分析

定义

L：从左到右扫描输入串

R：构造最右推导的逆过程

1. 记住已移进和规约的内容
2. 根据产生式推测下一个符号

$FirstVT$ 和 $LastVT$ 的构建规则

$FirstVT$ 规则

1. 有 $P\to a+something$，或 $P\to Qa+something$，有 $a\in FirstVT(P)$
2. 有 $P\to Q+something$，则 $FirstVT(Q)\in FirstVT(P)$

$LastVT$ 规则

1. 有 $P\to something+a$，或 $P\to something+aQ$，有 $a\in LastVT(P)$
2. 有 $P\to something+Q$，则 $LastVT(Q)\in LastVT(P)$

例子

有如下文法

$E\to E+T|T$

$T\to T\ast F|F$

$F\to (E)|i$

求解 $FirstVt$

根据规则1，有

F i r s t V T ( E ) = { + FirstVT(E) = \{+ FirstVT(E)={+

F i r s t V T ( T ) = { ∗ FirstVT(T) = \{* FirstVT(T)={∗

$FirstVT(F)=\{(,i)$

根据规则2，有

F i r s t V T ( E ) = { + } + F i r s t V T { T } = { + , ∗ , ( , i } FirstVT(E) = \{+\} + FirstVT\{T\} = \{+,*,(,i\} FirstVT(E)={+}+FirstVT{T}={+,∗,(,i}

$FirstVT(T) = {}+ FirstVT(F) = {,(,i} $

$FirstVT(F)=\{(,i)$

求解$LastVt$

根据规则1，有

L a s t V t ( E ) = { + LastVt(E) = \{+ LastVt(E)={+

L a s t V T ( T ) = { ∗ LastVT(T) = \{* LastVT(T)={∗

L a s t V T ( F ) = { ) , i LastVT(F) = \{),i LastVT(F)={),i

根据规则2，有

L a s t V t ( E ) = { + , ) , i , ∗ } LastVt(E) = \{+,),i,*\} LastVt(E)={+,),i,∗}

L a s t V T ( T ) = { ∗ , i , ) } LastVT(T) = \{*,i,)\} LastVT(T)={∗,i,)}

L a s t V T ( F ) = { ) , i } LastVT(F) = \{),i\} LastVT(F)={),i}

优先关系表的构建

构建规则

1. $A\to something+ab$ 或 $A\to something+aBb$，则有 $a=b$
2. $A\to something+aB+something$，则对于 $\forall b\in FirstVT(B)$，有 $a<b$
3. $A\to something+Ba+something$，则对于 $\forall b\in LastVT(B)$，有 $a>b$

写表规则

• 终结符 $+$ 非终结符，横向写
• 非终结符 $+$ 终结符，纵向写

例子

有如下文法

$E\to E+T|T$

$T\to T\ast F|F$

$F\to (E)|i$

列出表格

等号的准确写法是 $=$ 的两横中间一个实心圆点

对于 $+$

• $\forall a\in LastVT(E),a⋗+$
• $\forall b\in FirstVT(T),+⋖b$

	+	*	（	）	i	$\#$
+	$⋗$	$⋖$	$⋖$		$⋖$
*	$⋗$
(
)	$⋗$
i	$⋗$
$\#$

对于 $\ast$

• $\forall a\in LastVT(T),a⋗\ast$
• $\forall b\in FirstVT(F),\ast ⋖b$

	+	*	（	）	i	$\#$
+	$⋗$	$⋖$	$⋖$		$⋖$
*	$⋗$	$⋗$	$⋖$		$⋖$
(
)	$⋗$	$⋗$
i	$⋗$	$⋗$
$\#$

对于 $($

• $\forall b\in FirstVT(E),\ast ⋖b$
• $(=)$

	+	*	（	）	i	$\#$
+	$⋗$	$⋖$	$⋖$		$⋖$
*	$⋗$	$⋗$	$⋖$		$⋖$
(	$⋖$	$⋖$	$⋖$	$=$	$⋖$
)	$⋗$	$⋗$
i	$⋗$	$⋗$
$\#$

对于 $)$

• $\forall a\in LastVT(E),a⋗)$

	+	*	（	）	i	$\#$
+	$⋗$	$⋖$	$⋖$	$⋗$	$⋖$
*	$⋗$	$⋗$	$⋖$	$⋗$	$⋖$
(	$⋖$	$⋖$	$⋖$	$=$	$⋖$
)	$⋗$	$⋗$		$⋗$
i	$⋗$	$⋗$		$⋗$
$\#$

对于 $i$

无对应

对于 $\#$

纵向填 $⋗$，横向填 $⋖$，自身与自身相等

	+	*	（	）	i	$\#$
+	$⋗$	$⋖$	$⋖$	$⋗$	$⋖$	$⋗$
*	$⋗$	$⋗$		$⋗$	$⋖$	$⋗$
(	$⋖$	$⋖$	$⋖$	$=$	$⋖$	$⋗$
)	$⋗$	$⋗$		$⋗$
i	$⋗$	$⋗$		$⋗$		$⋗$
$\#$	$⋖$	$⋖$	$⋖$	$⋖$		$=$

LR 分析法

项目

规则

将 $.$ 或者$△$ 依次放在每个产生式中，即求得所有的项目

$.$ 前的部分表示已经识别，$.$ 后表示尚未识别（“希望”出现）

• $.$ 在最右侧的称作“归约项目”
• $.$ 右侧有终结符称作“移进项目”
• $.$ 右侧有非终结符称作“待约项目”

例子

有文法 $G[S]$

$S\to A$

$A\to aAb$

$A\to c$

则有项目

$S\to .A$

$S\to A.$

$A\to .aAb$

$A\to a.Ab$

$A\to aA.b$

$A\to aAb.$

$A\to .c$
$A\to c.$

文法的拓广

即对现有文法加一个开头（一般记作 $开始符{号}^{{}^{\prime }}$ ，并展开）

对文法

$S\to AS|ϵ$

$A\to aA|b$

可以拓广为

$S^{{}^{\prime }}\to S$

$S\to AS$

$S\to ϵ$

$A\to aA$

$A\to b$

状态描述集

状态内容 Basic(S) 和 CLOSURE(S)

$BASIC(S_i)$

有已知的状态集 $S_k$ ，有 $S_k$ 关于 $X$ 的后继状态 $S_i$

则对于先前的状态 $A\to a\Delta X\beta$，移动三角符号位置，有 B A S I C ( S i ) = { A → α X Δ β } BASIC(S_i) = \{A \rightarrow \alpha X\Delta\beta\} BASIC(Si​)={A→αXΔβ}

$CLOSURE(S_i)$

1. 包括了 $BASIC(S_i)$
2. 对于 $A\to \alpha \Delta Y\beta$ （待规约项目），任何 $Y\to .\gamma$ 都属于 $CLOSURE(S_i)$

根据预测分析表写推导

查表规则

$S_i$ 表示移进，$r_i$ 表示规约

• 移进：使用状态栈顶元素和输入串串首元素，确定下一个状态
• 规约：
  1. 根据 $r_i$，确定使用第 $i$ 号规约式进行规约
  2. 根据 $i$ 号规约式右侧
     • 确定规约长度 $j$
     • 将状态栈和符号栈的上 $j$ 个元素出栈
  3. 根据 $i$ 号规约式左侧
  • 将其放入符号栈
  • 将其与当前状态栈栈顶元素比对，确定下一个状态并将其移入状态栈

有分析表

	ACTION				GOTO
	a	b	,	#	L	E
$S_0$	$S_3$	$S_4$
$S_1$				$ACC$
$S_2$			$S_5$	$r_2$
$S_3$			$r_3$	$ r_3$
$S_4$			$r_4$	$r_4$
$S_5$	$S_3$	$S_4$			6	2
$S_6$				$r_1$

$S_i$ 表示移进，$r_i$ 表示按照第 $i$ 个产生式进行规约

以 $a,b,a\#$ 为例

序号	状态栈	符号栈	产生式	输入串
1	$S_0$	$\#$		$a,b,a\#$

初始状态，$S_0$ 和 $\#$入栈

序号	状态栈	符号栈	产生式	输入串
1	$S_0$	$\#$		$a,b,a\#$
2	$S_0{S}_3$	$\#a$		$,b,a\#$

栈顶元素 $S_0$ 与串头元素 $a$ 查表知转移到状态 $S_3$，$a$ 进入符号栈

序号	状态栈	符号栈	产生式	输入串
1	$S_0$	$\#$		$a,b,a\#$
2	$S_0{S}_3$	$\#a$		$,b,a\#$
3	$S_0{S}_2$	$\#E$	$E\to a$	$,b,a\#$

栈顶元素 $S_3$ 与串头元素 $,$ 查表知转移到状态 $r_3$

$r_3$ 对应规约式 $E\to a$

规约长度为 $1$，状态栈、符号栈各弹出一个元素

将归约到的符号入符号栈

状态栈符号根据现有栈顶元素 $S_0$ 和规约到的 $E$ 查表知

转移到状态 $S_2$

序号	状态栈	符号栈	产生式	输入串
1	$S_0$	$\#$		$a,b,a\#$
2	$S_0{S}_3$	$\#a$		$,b,a\#$
3	$S_0{S}_2$	$\#E$	$E\to a$	$,b,a\#$
4	$S_0{S}_2{S}_5$	$\#E,$		$b,a\#$

栈顶元素 $S_2$ 与串头元素 $,$ 查表知转移到状态 $S_5$，$,$ 进入符号栈

序号	状态栈	符号栈	产生式	输入串
1	$S_0$	$\#$		$a,b,a\#$
2	$S_0{S}_3$	$\#a$		$,b,a\#$
3	$S_0{S}_2$	$\#E$	$E\to a$	$,b,a\#$
4	$S_0{S}_2{S}_5$	$\#E,$		$b,a\#$
5	$S_0{S}_2{S}_5{S}_4$	$\#E,b$		$,a\#$

栈顶元素 $S_5$ 与串头元素 $b$ 查表知转移到状态 $S_4$，$b$ 进入符号栈

序号	状态栈	符号栈	产生式	输入串
1	$S_0$	$\#$		$a,b,a\#$
2	$S_0{S}_3$	$\#a$		$,b,a\#$
3	$S_0{S}_2$	$\#E$	$E\to a$	$,b,a\#$
4	$S_0{S}_2{S}_5$	$\#E,$		$b,a\#$
5	$S_0{S}_2{S}_5{S}_4$	$\#E,b$		$,a\#$
6	$S_0{S}_2{S}_5{S}_2$	$\#E,E$	$E\to b$	$,a\#$

栈顶元素 $S_4$ 与串头元素 $,$ 查表知转移到状态 $r_4$

对应产生式 $E\to b$

状态栈与符号栈顶各移除一个元素

$E$ 进入符号栈，$S_5$ 与 $E$ 查表得到 $S_2$

序号	状态栈	符号栈	产生式	输入串
1	$S_0$	$\#$		$a,b,a\#$
2	$S_0{S}_3$	$\#a$		$,b,a\#$
3	$S_0{S}_2$	$\#E$	$E\to a$	$,b,a\#$
4	$S_0{S}_2{S}_5$	$\#E,$		$b,a\#$
5	$S_0{S}_2{S}_5{S}_4$	$\#E,b$		$,a\#$
6	$S_0{S}_2{S}_5{S}_2$	$\#E,E$	$E\to b$	$,a\#$
7	$S_0{S}_2{S}_5{S}_2{S}_5$	$\#E,E,$		$a\#$

序号	状态栈	符号栈	产生式	输入串
1	$S_0$	$\#$		$a,b,a\#$
2	$S_0{S}_3$	$\#a$		$,b,a\#$
3	$S_0{S}_2$	$\#E$	$E\to a$	$,b,a\#$
4	$S_0{S}_2{S}_5$	$\#E,$		$b,a\#$
5	$S_0{S}_2{S}_5{S}_4$	$\#E,b$		$,a\#$
6	$S_0{S}_2{S}_5{S}_2$	$\#E,E$	$E\to b$	$,a\#$
7	$S_0{S}_2{S}_5{S}_2{S}_5$	$\#E,E,$		$a\#$
8	$S_0{S}_2{S}_5{S}_2{S}_5{S}_3$	$\#E,E,a$		$\#$

读到 acc 结束，读到空则出错