elsif else文の構文解析

Question

私はlexとyaccを使って命令型言語のコンパイラを開発していましたが、今日は文法を終えました。いくつかのシフト/リダクションの競合があります。特にif/elseステートメントがある場合、それはしばしばdangling if-elseと呼ばれ、mineには/ elsif/elseステートメントがありますが、コンパイル時に競合が発生しません。

¿doesは、この文法には、シフト/リダクションの競合が発生しないという理由だけで瑕疵があることを意味しますか？私は多くの経験、これを行うに持っていけないが、あなたはこの文法にいくつかのより多くの情報にもし/ ELSIF/else文のために制作をしたい場合、私はそれ

に問題を見つけることができないこのようなものです：

statement -> ... 
------------| initial_conditional_stmt 

initial_conditional_stmt: conditional_stmt 
-----------------------| conditional_stmt 'else' block 


conditional_stmt -> 'if' '(' expression ')' block 
------------------| conditional_stmt elsif '(' expression ')' block 

ブロックは、競合を減らす/いいえシフト括弧{}

Answer 1

内のステートメントのリストだけではありませんあなたは言語設計の本当に良い仕事をしたし、それがあいまいなことはないことを意味します。

よくやって、背中を軽くたたき、リラックスして、冷蔵庫からビールを掴んでください。

Answer 2

あなたがここで他のものを抱えていない理由は、通常のステートメントの代わりにブロックを使用しているためです。あなたの文法については

あなたは

if (cond) 
    if (cond) { 
     [stuff] 
    } 
    else 
    { 
    }  

を行うことができないあなたは、文は内部のマッチングでなければならない場合は、すべてのネストされたこの

if (cond) 
{ 
    if (cond) { 
     [stuff] 
    } 
    else 
    { 
    } 
} 

{}を行う必要があります。これはあなたのケースでは、少し見知らぬ構文を犠牲にして、他のものを取り除きます。 「通常の」文法と比較して、「ブロック」は「文」であり、これは別のif文でもあり得るため、古典的なシフト/縮小の競合が生じる。

Answer 3

方が良い、次のように、これらのコードを使用することがあります。

%nonassoc XIF 
%nonassoc ELSE 

    stmt: IF expr stmt %prec XIF 
     | IF expr stmt ELSE stmt 

あれば、他の間での優先順位の競合を変更するための方法であること。

希望します。