Backus-Naur形式（BNF）遞歸

Question

我在如何用BNF表示遞歸方面遇到麻煩。 在我的情況下，一個“項”可以由一個值，乘和除（如圖所示）組成，我想到了以下內容：

<term> ::= <value>
              | <value> “*”
              | <value> “/”

Answer 1

遞歸規范是指非終端在生產規則中遞歸出現的規范。 看一下以下語法，它是一個遞歸規范，包含+，*，$（exponentiation）並使用BNF表示法：

 <exp>     := <exp> + <term> | <term>
 <term>    := <term> * <factor> | <factor>
 <factor>  := <factor> $ <primary> | <primary>
 <primary> := id

如您所見，所有在：=的LHS中的非終端也都在生產（RHS）中，因此它稱為遞歸BNF表示法。