bnf 语法检查

Question

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

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

A = B + C 根据我的 bnf 语法和 A = B * C 不是。

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

Answer 1

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