SLR分析表：逻辑表达式G[S]识别过程示例

本文介绍了SLR分析表在逻辑表达式G[S]识别中的应用，并以#(a∨┐a)∧a#为例展示了识别过程。

逻辑表达式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 | |---|---|---| | | 0 | s5 | | | | 1 | | a0 | | | 2 | | | | | 3 | | | | | 4 | | | | | 5 | | | | | 6 | s5 | | | | 7 | | | | | 8 | s5 | | | | 9 | s5 | | | | 10 | | | | | 11 | | | | | 12 | | | | | 13 | | | | | 14 | | | |

#(a∨┐a)∧a#识别过程

| 步骤 | 栈内容 | 输入串 | 操作 | |---|---|---|---| | | 1 | #0 | (┐a∨a)∧a# | S6内容： 2 | | | 2 | #06 | ┐a∨a)∧a# | R4 | | | 3 | #03 | ┐a∨a)∧a# | S7 | | | 4 | #036 | a∨a)∧a# | R2 | | | 5 | #01 | a∨a)∧a# | S8 | | | 6 | #018 | ∨a)∧a# | R2 | | | 7 | #01 | ∨a)∧a# | S9 | | | 8 | #019 | a)∧a# | R4 | | | 9 | #016 | a)∧a# | S7 | | | 10 | #0167 | )∧a# | R6 | | | 11 | #013 | D∧a# | R1 | | | 12 | #01 | D∧a# | S8 | | | 13 | #018 | ∨D# | R2 | | | 14 | #01 | ∨D# | S9 | | | 15 | #019 | D# | R4 | | | 16 | #0 | D# | R0 (接受) |