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 수업에서 나는 당신이 찾고있는 것을 거의 할 수 있다고 생각한다. 즉, 주어진 문법으로 진술을 검증한다.