bnf语法检查

Question

是否有工具来检查我的bnf语法？ 例如：

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

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

是否有工具检查给定的陈述是否有效？

Answer 1

在我的CS课程中使用过this，我认为它可以完成您正在寻找的内容，即验证具有给定语法的语句。