grammar - bnf 语法检查

Question

有没有工具可以检查我的 bnf 语法？例如：

<assign>::=<var>=<expr>
<var>::=A|B|C
<expr>::=<expr>+<expr>
         |<var>

根据我的 bnf 语法，A = B + C 是有效语句，而 A = B * C 不是。

是否有工具可以检查给定的语句是否有效？

Answer 1

在我的 CS 课程中使用过它，我认为它几乎可以满足您的需求，即使用给定的语法验证语句。