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類中，我認爲它幾乎可以做你正在尋找的東西，也就是說，用給定的語法來驗證語句。