Extended Backus-Naur Form 작업 순서

Question

매우 간단한 규칙 언어에 대한 공식 사양을 만들고 있는데, 매우 간단합니다. EBNF를 표준으로 사용하고 싶지만 조작 순서를 지정하는 방법을 알 수 없습니다. 지금까지는 스펙이 있습니다.

rule = statement, { (‘AND’|’OR’), statement}; 

variable = ‘$’,alphabetic character, {alphabetic character | digit}; 

statement = variable, [ ‘count’,[white space ],’>’,[white space],number ]; 

alphabetic character = "A" | "B" | "C" | "D" | "E" | "F" | "G" 
        | "H" | "I" | "J" | "K" | "L" | "M" | "N" 
        | "O" | "P" | "Q" | "R" | "S" | "T" | "U" 
        | "V" | "W" | "X" | "Y" | "Z" ; 

number = [ "-" ] , digit , { digit } ; 

digit = "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9" ; 

white space = ? white space characters ? ; 

내가 가지고있는 질문은 어떻게 괄호 안의 것들이 먼저 평가되어야 하는지를 어떻게 보여줄 것인가입니다. 이

$strap AND ($greenSticker count > 5 OR ($greenSticker AND $redSticker)) 

같은 그래서 뭔가는 대부분의 언어에 대한 공통 기능처럼 보이지만, 내 Google 기술은 나에게 실패와 나는 예를 찾을 수 없습니다. 당신이 볼 수 있듯이, 낮은 우선 순위 (+ 및 -)와 운영자가보다 일반적인 우선 순위가 높은 사업자보다는 규칙 (* 및 /에

expression -> (+|-|ε) term ((+|-) term)* 
term -> factor ((*|/) factor)* 
factor -> var | number | (expression) 

있습니다 간단한 예를 들어, LL 문법으로이 주어

Answer 1

). 올바른 구문 분석 트리를 만드는 것이 전부입니다. 일반적으로 "외부"규칙 또는 일반 규칙의 우선 순위가 낮으므로 term을 더 파생해야하기 때문에 더하기와 빼기 연산자는 term 옆에 배치해야합니다. 좀 더 복잡한 문법을 ​​살펴보면 적절한 우선 순위를 갖기 위해 이것이 극단적 인 것으로 간주됩니다.