문법을 생성하지 못했습니다.

Question

(X = 100 및 Y < 100)과 같은 간단한 부울 식의 구문을 검사해야하므로 문법을 작성하고 이것이 올바른지 확인하려고 했으므로이 온라인을 사용하고 있습니다 도구 http://smlweb.cpsc.ucalgary.ca/start.html. 문법이 잘못되었다고 말하는 것입니다.

누군가가 여기에서 문제를 지적 할 수 있습니까? 미리 감사드립니다.

boolean  -> bool_term | boolean OR bool_term 
bool_term  -> bool_factor | bool_term AND bool_factor 
bool_factor -> bool_primary | NOT bool_primary 
bool_primary -> predicate | (boolean) 
predicate  -> expr comp_op expr 
expr   -> string | number. 
comp_op  -> = | > 

Answer 1

대부분이 서비스의 바보 같은 구문입니다. 예를 들어 문자 = 및 >은 지원되지 않으며 문자를 이스케이프 할 수 없습니다.

이 문법 작동 :에 StackOverflow에

BOOLEAN  -> BOOLTERM | BOOLEAN or BOOLTERM . 
BOOLTERM  -> BOOLFACTOR | BOOLTERM and BOOLFACTOR . 
BOOLFACTOR -> BOOLPRIMARY | not BOOLPRIMARY . 
BOOLPRIMARY -> PREDICATE | (BOOLEAN) . 
PREDICATE  -> EXPR COMPOP EXPR . 
EXPR   -> string | number . 
COMPOP  -> eq | gt .