考虑以下 BNF 语法

Question

考虑以下 BNF 语法（其中非终结符括在尖括号中，并且 与任何合法的 Java 变量标识符匹配）。

<exp> ::= <exp> + <term>
      |   <exp> - <term>
      |   <term>
<term> ::= <term> * <factor>
       |   <term> / <factor>
       |   <factor>
<factor> ::= ( <exp> )
         |   <identifier>

为以下表达式生成推导三：

(x - a) * (y + b)

以 exp 开头：

<exp>

将 exp 替换为 term：

<term>

将 term 替换为：

<term> * <factor>

将 term 用因子替换：

<factor> * <factor>

将两个因子替换为 (exp)：

( <exp> ) * ( <exp> )

将第一个 exp 替换为 exp - term，将第二个替换为 exp + term

( <exp> - <term> ) * ( <exp> + <term> )

将两个 exp 替换为 term，然后将所有 4 个项替换为因子。

( <factor> - <factor> ) * ( <factor> + <factor> )

用标识符替换所有因素

( <identifier> - <identifier> ) * ( <identifier> + <identifier> )

这是否足够？

Answer 1

您需要更进一步 - 是一个非终结符，您应该将其缩减为 。

此外，您应该从 开始（然后将其简化为 ），而不是从 开始> 直接。