“优先爬升方法”中这种语法产生的目的是什么？

Question

我在此处看到了一个所谓的“优先爬升方法”的示例，该示例用于在Wikipedia上的正式语法中表示运算符优先级。

它以以下语法为例：

expression ::= equality-expression
equality-expression ::= additive-expression ( ( '==' | '!=' ) additive-expression ) *
additive-expression ::= multiplicative-expression ( ( '+' | '-' ) multiplicative-expression ) *
multiplicative-expression ::= primary ( ( '*' | '/' ) primary ) *
primary ::= '(' expression ')' | NUMBER | VARIABLE | '-' primary

我不明白最后一次制作结束时'-' primary的目的是什么。 谁能解释为什么以这种方式构造它？

Answer 1

它是一元负号，与乘法运算符的绑定更紧密：

-a * 7

（并不是在那种情况下有很大的区别。）