SLR 分析表示例：识别表达式 #(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 ┐ ∨ ∧ 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# S6 内容：2 #06 ┐a∨a)∧a# r2 3 #026 a∨a)∧a# S9 4 #0265 ∨a)∧a# r4 5 #0264 A)∧a# S3 6 #02643 )∧a# r6 7 #0264A ∧a# S9 8 #0264B ∧a# r2 9 #0264A ∧a# S9 10 #0264C ∧a# r4 11 #0264B )# r8 12 #0264G# acc