bnf - 将 BNF 转换为 EBNF - 没有递归的括号？

Question

我需要将以下语法转换为 EBNF:

<assign> -> <id> = <expr>
<id> -> A|B|C
<expr> -> <expr> + <expr>
    |<expr> * <expr>
    |<expr> * <expr>
    |( <expr> )
    |<id>

我目前取得的进展如下:

<assign> -> <id> = <expr>
<id> = (A | B | C)
<expr> -> <id> {(+ | * ) <expr>} | ‘(‘ <expr> ‘)’

如果使用EBNF，最好消除所有递归吗？甚至有没有办法只使用 <id> 来完成它在 <expr> ?

Answer 1

这个怎么样:

<assign> -> <id> = <expr>
<expr>   -> <mul>  {+ <mul>}
<mul>    -> <term> {* <term>}
<term>   -> ( <expr> ) | <id>
<id>     -> A | B | C

没有左递归，和 *优先于 + ，但不超过 ( ... ) .