状 态 动作 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

这是一个 LR(1)语法分析表，用于在语法分析器中进行语法分析。其中，状态表示为 sX，其中 X为状态编号；动作包括移进（shift）和规约（reduce）操作，分别表示将符号移入分析栈和使用产生式进行规约；GOTO 表示状态转移表，表示在某个状态下，某个符号被移进后应该转移到哪个状态。符号包括终结符和非终结符，其中 a 表示终结符，A、B、C、D 表示非终结符；括号表示优先级，# 表示结束符。