grammar - bnf语法检查

Question

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

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

A = B + C 根据我的 bnf 语法是一个有效的陈述并且A = B * C 不是。

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

Answer 1

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