扩展LR解析器的语法

Question

我有基本算术表达式的以下语法

E -> E + T
E -> T
T -> T * F
T -> F
F -> (E)
F -> id

当E是表达式时，T是项，F是因子。我想知道如何扩展这个语法来支持进一步的算术运算，例如用^或对数表示的指数。

由于

Answer 1

由于指数具有更高的优先级，因此您可以使用以下语法：

E -> E + T
E -> T
T -> T * F
T -> F
F -> G ^ F
F -> G
G -> log(E)
G -> (E)
G -> id