(a|b)*abb 等价的 DFA 词法 · L03/L04| a | b | |
|---|---|---|
| A | B | C |
| B | B | D |
| C | B | C |
| D | B | E |
| E★ | B | C |
| + | * | ( | ) | i | # | |
|---|---|---|---|---|---|---|
| + | ⋗ | ⋖ | ⋖ | ⋗ | ⋖ | ⋗ |
| * | ⋗ | ⋗ | ⋖ | ⋗ | ⋖ | ⋗ |
| ( | ⋖ | ⋖ | ⋖ | ≐ | ⋖ | |
| ) | ⋗ | ⋗ | ⋗ | ⋗ | ||
| i | ⋗ | ⋗ | ⋗ | ⋗ | ||
| # | ⋖ | ⋖ | ⋖ | ⋖ | ≐ |
a := b*c + b*d 翻译成四元式 中间代码 · L11(1) (*, b, c, T1) (2) (*, b, d, T2) (3) (+, T1, T2, T3) (4) (:=, T3, _, a )逆波兰:
a b c * b d * + :=。详见 L11。