SLR 分析表：逻辑表达式 G[S] 示例解析

逻辑表达式 G[S]:

0	S→ A
1	A→A∨B
2	A→ B
3	B→B∧C
4	B→ C
5	C→┐D 
6	C→ D
7	D→(A)
8	D→a

SLR 分析表：

| 状态 | 动作 | GOTO | |---|---|---| | | ┐ | ∨ | ∧ | a | ( | ) | # | A | B | C | D | | 0 | s5 | | | s7 | s6 | | | 1 | 2 | 3 | 4 | | 1 | | s8 | | | | | | a0 | | | | | | 2 | | r2 | s9 | | | r2 | r2 | | | | | | 3 | | r4 | r4 | | | r4 | r4 | | | | | | 4 | | r6 | r6 | | | r6 | r6 | | | | | | 5 | | | | s7 | s6 | | | | | | 10 | | 6 | s5 | | | s7 | s6 | | | 11 | 2 | 3 | 4 | | 7 | | r8 | r8 | | | r8 | r8 | | | | | | 8 | s5 | | | s7 | s6 | | | | 12 | 3 | 4 | | 9 | s5 | | | s7 | s6 | | | | | 13 | 4 | | 10 | | r5 | r5 | | | r5 | r5 | | | | | | 11 | | s8 | | | | s14 | | | | | | | 12 | | r1 | s9 | | | r1 | r1 | | | | | | 13 | | r3 | r3 | | | r3 | r3 | | | | | | 14 | | r7 | r7 | | | r7 | r7 | | | | |

给出 #(a∨┐a)∧a# 的识别过程：

| 步骤 | 栈内容 | 输入串 | 操作内容 | |---|---|---|---| | 1 | 0 | #(a∨┐a)∧a# | shift 5 | | 2 | 0 5 | (a∨┐a)∧a# | shift 7 | | 3 | 0 5 7 | a∧a# | shift 3 | | 4 | 0 5 7 3 | a# | shift 6 | | 5 | 0 5 7 3 6 | # | accept |

说明：

s 代表 shift（移进）操作
r 代表 reduce（归约）操作
a 代表 accept（接受）
数字代表状态

此识别过程成功，表明 #(a∨┐a)∧a# 是该文法的合法句子。