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

本文以一个具体的逻辑表达式 G[S] 为例，展示了 SLR 分析表的构建以及识别过程。

逻辑表达式 G[S]

0 S→ A1 A→A∨B2 A→ B3 B→B∧C4 B→ C5 C→┐D 6 C→ D7 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# 的识别过程:

| 步骤 | 栈内容 | 输入串 | 操作 ||---|---|---|---|| | S6 | #(a∨┐a)∧a# | || 1 | S6S7 | (a∨┐a)∧a# | shift 5 || 2 | S6S7S9 | ∨a# | shift 2 || 3 | S6S7S3 | B∧a# | reduce 2 (B→C) || 4 | S6S7S3S4 | C∧a# | shift 3 || 5 | S6S7S3B3 | B∧a# | reduce 4 (B→C) || 6 | S6S7S3B3S4 | C∧a# | shift 3 || 7 | S6S7S3B3B4 | D∧a# | reduce 4 (B→C) || 8 | S6S7S3B3B4S7 | ┐a# | reduce 6 (C→┐D) || 9 | S6S7S3B3B4S3 | C# | reduce 3 (A→A∨B) || 10 | S6S7S3A1 | A# | reduce 1 (S→A) || 11 | S6S7S1 | S# | accept |

总结

通过这个例子，我们展示了 SLR 分析表的构建以及识别过程。该例子解释了 SLR 分析表的作用，以及如何使用它识别输入字符串是否符合给定的文