EBNF 中何时使用括号？

Question

如果你有这样的语法：

<assign> → <id> = <expr> 
<id> → A | B | C 
<expr> → <expr> + <term> 
         |  <term> 
<term> → <term> * <factor> 
         |  <factor> 
<factor> → ( <expr> ) 
          | <id>

然后句子 A = B + C * A，你会得到这个最左推导：

<assign> => <id> = <expr> 
         => A = <expr> 
         => A = <expr> + <term> 
         => A = <term> + <term> 
         => A = <factor> + <term> 
         => A = <id> + <term> 
         => A = B + <term> 
         => A = B + <term> * <factor> 
         => A = B + <factor> * <factor> 
         => A = B + <id> * <factor> 
         => A = B + C * <factor> 
         => A = B + C * <id> 
         => A = B + C * A

但是 A = B + ( C * A ) 呢？

Answer 1

<块引用>

A = B + (C * A)?

前五个步骤，与上面相同，然后...

     => A = B + <term>  
     => A = B + <factor>    
     => A = B + ( <expr>) 
     => A = B + ( <term> )  
     => A = B + ( <term> * <factor> ) 
     => A = B + ( <factor> * <factor> ) 
     => A = B + ( <id> * <id> ) 
     => A = B + (  C   *   A  )

Answer 2

( C * A ) 不需要括号，因为 * 具有更高的优先级。您会在 A = B * ( C + B) 中看到它的一种情况。

您在最后两行中看不到它，因为 将被评估为 + 或 。在本例中没有 +，因此它必须是 。