ゴールドパーサーのバグ？ LALR

Question

ここに私のbnf文法があります。

//this works 
<ter-stmnt>  ::= <rval> '?' <rval> ':' <rval> 
//this gets an error 
<ter-stmnt>  ::= <bool-val> '?' <rval> ':' <rval> 
<bool-val>  ::= <rval> 

これは非常識ですが、第2のものは最初のものとまったく同じではありませんか？私は何かを意味することができる一般的なrvalに反対するboolの値を期待することを読む私は2番目のBCを好む。

私はGold Parserを使用しています。3.4.4

Answer 1

どのようなエラーが表示されますか？文法ファイル全体を含めることはできますか？ I私は

<ter-stmnt>  ::= <bool-val> '?' <rval> ':' <rval> 
<bool-val>  ::= <rval> 
<rval> ::= '!' 

Answer 2

...のようなルールを宣言する場合は、取得しているエラーがあるすべてのエラーを得ることはありません：

削減-reduce衝突
'？'複数の完了したルールに従うことができます。 Reduce-Reduceエラーは、同じトークンに対して、文法によって2つ以上のルールを同時に減らすことができる場合に発生します。文法はあいまいです。詳細については、ドキュメントを参照してください。

それはいくつかのトークンを評価しただ後ことを言って、それはそれだけで<bool-val>を読んだかどうか、それは<rval>を読むかどうかを決定することができませんでしだ。

<bool-val>が具体的にどのようなものなのかを具体的に説明してから、<rval>が<bool-val>などと書かれています。

もう1つはexample of a reduce/reduce errorとhere's the GOLD documentationです。ゴールドは、シフト/リダクションについて隠すようにしようとします（つまり、エラーの代わりに警告を出す）が、reduce/reduceをエラーとして扱います。

私はこれについて完全に理解していません。私は解析するのが初めてです。これが予期せぬ動作であることは正しいでしょうか？しかし、GOLDのメーリングリストは現時点ではダウンしているようですが、おそらくそれは司会者であり、Devinは何ヶ月もオフラインになっているからです。