逻辑表达式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# 的识别过程:
时间: 2023-08-12 10:10:57 浏览: 122
逻辑表达式,命题公式表达
使用 SLR 分析法对该逻辑表达式进行识别过程如下:
栈内状态 | 输入符号 | 动作
---|---|---
0 | # | 移进
0# | ( | 移进
0#( | A | 移进
0#(A | ∨ | 移进
0#(A∨ | A | 移进
0#(A∨A | ) | 规约 A → B
0#(A∨B | ∧ | 移进
0#(A∨B∧ | ┐ | 移进
0#(A∨B∧┐ | A | 移进
0#(A∨B∧┐A | # | 规约 A → A∨B
0#(A∨B | # | 规约 A → A∨B
0#(A | # | 规约 S → A
0#S | # | 接受
因此,该逻辑表达式是合法的。
阅读全文