후행 증가 연산자에서 YACC 시프트/감소 충돌을 수정하는 방법은 무엇입니까?

Question

저는 YACC (실제로 Bison)에 문법을 쓰고 있습니다. 나는 shift/reduce 문제가 있습니다. 접미사 증가 및 감소 연산자가 포함 된 결과입니다. 다음은 문법의 아래 손질 버전 :

%token NUMBER ID INC DEC 

%left  '+' '-' 
%left  '*' '/' 
%right  PREINC 
%left  POSTINC 

%% 

expr: NUMBER 
|  ID 
|  expr '+' expr 
|  expr '-' expr 
|  expr '*' expr 
|  expr '/' expr 
|  INC expr %prec PREINC 
|  DEC expr %prec PREINC 
|  expr INC %prec POSTINC 
|  expr DEC %prec POSTINC 
|  '(' expr ')' 
; 

%% 

들소가 나에게 말한다 (12) 교대/갈등을 줄일 수 있습니다,하지만 난 후위 증가 및 감소를 위해 줄을 주석하는 경우, 그것을 잘 작동합니다. 누구든지이 갈등을 해결하는 방법을 알고 있습니까? 이 시점에서 LL (k) 파서 생성기로 이동하는 편이 훨씬 쉽습니다. LALR 문법은 항상 자연스럽게 작성하는 것처럼 보입니다. 또한 GLR을 고려 중이지만 좋은 C/C++ GLR 파서 생성기에 대해서는 잘 모릅니다.

Answer 1

옵션 섹션에 %glr-parser을 지정하면 Bison/Yacc에서 GLR 구문 분석기를 생성 할 수 있습니다.

Answer 2

더 많은 항목을 정의하고 싶습니다. % left, % right, % prec 물건은 필요 없습니다.

simple_expr: NUMBER 
| INC simple_expr 
| DEC simple_expr 
| '(' expr ')' 
; 

term: simple_expr 
| term '*' simple_expr 
| term '/' simple_expr 
; 

expr: term 
| expr '+' term 
| expr '-' term 
; 

이 방법으로 해결하십시오.

Answer 3

이 시도 :

%token NUMBER ID INC DEC 

%left  '+' '-' 
%left  '*' '/' 
%nonassoc '++' '--' 
%left  '(' 
%% 

expr: NUMBER 
|  ID 
|  expr '+' expr 
|  expr '-' expr 
|  expr '*' expr 
|  expr '/' expr 
|  '++' expr 
|  '--' expr 
|  expr '++' 
|  expr '--' 
|  '(' expr ')' 
; 

%% 

의 핵심은 비 연관로 후위 연산자를 선언하는 것입니다. 그렇지 않으면

++var++-- 

괄호는 변화를 최소화하기 위해 우선 순위를 부여 할 필요가

할 수있을 것입니다/

Answer 4

선행 증가 및 후행 사업자 nonassoc 그래서 우선 순위 섹션에서 그 정의가 경고를 줄이고 규칙 만들기에 %prec

Answer 5

이 기본적인 문제를 사용하여 높은 이러한 연산자의 우선 순위는 당신이 INC 및 DEC 토큰에 대한 우선 순위를 필요가 없다는 것입니다, 그래서 INC 또는 0 내다 관련된 모호성을 해결하는 방법을 알고하지 않습니다. 당신이 우선 순위 목록의 마지막에

%right INC DEC 

을 추가하면, 그것은 문제를 해결하고 당신도 모든 PREINC/POSTINC 물건을 제거 할 수 (당신은 unaries 높은 우선 순위와 접두사보다 높은 접미사가되고 싶어요) , 그것은 중요하지 않습니다.