文法の中でIF-ELSEの競合を減らす/減らす

Question

私は小さなパーサを書こうとしています。残念ながら、私は「シフトを減らす紛争」を起こします。文法は私の強みではありません。私はこれを小さなものにする必要があります。修正された文法を与える解決策は、エラーを生成する文法の縮小です：

stmts_opt -> stmts 
; 

stmts -> stmt 
| stmts stmt 
| stmsts 
; 

stmt -> id 
| ITERATE content_stmt 
| IF test then content_stmt ELSE content_stmt 
| IF test then content_stmt 
; 

content_stmt: BEGIN stmt_opt END 
| stmt 
; 

修正された文法を与える解決法は高く評価されます。

編集：私は私の文法はRICIの答え@合ったが、問題が解決しない修正

。ここに私の実際の文法プロダクションです：

BEGINNING-OF-PROGRAM 
    BEGINNING-OF-EXECUTION 

    IF not-next-to-a-beeper THEN 
     move; 

    IF not-facing-north THEN 

     turnleft; 


    ELSE <--- ERROR 
     turnleft; 

    IF not-facing-east THEN 
     IF not-facing-west THEN 
     turnleft; 

    turnoff 
    END-OF-EXECUTION 
END-OF-PROGRAM 

私が最初ELSEのエラーを取得しています：ここで

prog: BEGIN_PROG def_sprogram BEGIN_EXEC stmts_opt END_EXEC END_PROG 
      {() } 
; 

def_sprogram: /* empty */  {() } 
| define_new def_sprogram  {() } 
; 


define_new:   DEFINE_NEW_INSTRUCTION ID AS content_stmt SEMI { } 
; 

stmts_opt: /* empty */  {() } 
|   stmts   {() } 
; 

stmts:  stmt   {() } 
|   stmts SEMI stmt {() } 
|   stmts SEMI  {() } 
; 

content_stmt: BEGIN stmts_opt END {() } 
|  stmt {() } 
; 

stmt:  open_stmt {() } 
|   closed_stmt {() } 
; 

open_stmt: ITERATE INT TIMES open_stmt {() } 
|   WHILE test DO open_stmt {() } 
|   IF test THEN closed_stmt ELSE open_stmt {() } 
|   IF test THEN stmt {() } 
; 

closed_stmt: simple_stmt {() } 
|   ITERATE INT TIMES closed_stmt {() } 
|   WHILE test DO closed_stmt {() } 
|   IF test THEN closed_stmt ELSE closed_stmt {() } 
; 

は、私がテストしてい例です。 @riciが示唆しているように簡単な優先順位を宣言しようとしました：

%nonassoc THEN 
%nonassoc ELSE 

しかし、それでもエラーは解決されませんでした。

Answer 1

「ダングリングelse」のシフト・リダクションの最も単純な解決策は、ELSEトークンのシフトを優先して解決することです。

%nonassoc THEN 
%nonassoc ELSE 

（結合性のdoesn：camlyaccが優先宣言（むしろ不完全マニュアルに従って、私は見つけることができた）、これは（最初%%前に）あなたの宣言セクションに以下を追加するのと同じくらい簡単であるべきをサポートしていますので、

明示的な「一致/不一致」（または「開/閉文」）を使用する場合は、 BEGIN stmts_opt ENDはTHENを受け入れることができないため、「一致」（または「閉じた」文）です。他の一致ステートメントは、比類のない文が

unmatched_stmt: ITERATE unmatched_stmt 
       | IF test THEN matched_stmt 
       | IF test THEN unmatched_stmt 
       | IF test THEN matched_stmt ELSE unmatched_stmt 

多くの人々がmatched_stmtとunmatched_stmtを含み、非末端を作成することを好むです

matched_stmt: BEGIN stmts_opt END 
      | ITERATE matched_stmt 
      | IF test THEN matched_stmt ELSE matched_stmt 
      | /* Any other kind of simple statement */ 

です。しかし、あなたのケースでは、ネストしたくないようです。BEGIN＆hellip; ENDブロックに分割し、それらを複合ステートメントの内容に制限します。したがって、stmtは、BEGIN stmts_opt END右側のを除いて、上記のすべてのになります。