解決シフトは/バイソン

Question

method_call: T_ID T_LPAREN method_arg_list T_RPAREN T_SEMICOLON 

value: T_ID T_LSB expr T_RSB 
    | T_ID; 

method_arg_list: /* Empty */ 
       | method_arg method_arg_list; 

method_arg: string_constant 
      | expr; 

expr: value 
    | '(' expr ')'; 

に従っているとの競合を持っている文法で競合を減らす問題は、それがT_IDを読み取るときに、それがシフトすると、次の 'を読んでする必要があるかどうかわからないということですしかし、次のトークンが左かっこであるかどうかを確認するべきではないでしょうか？

私はバイソンとパーサには一般的に新しく、私は何を書き直すことができるのでしょうか？文法や紛争を解決する？

State 60 

37 method_call: T_ID . T_LPAREN method_arg_list T_RPAREN T_SEMICOLON 
67 value: T_ID . T_LSB expr T_RSB 
68  | T_ID . 

T_LPAREN shift, and go to state 71 
T_LSB  shift, and go to state 72 

T_LPAREN [reduce using rule 68 (value)] 
$default reduce using rule 68 (value) 

Answer 1

編集レフラーは正しいです：私たちは、メソッド呼び出しや価値観などに依存しているかもしれないいくつかのより高いレベルsentential構造について知っておく必要があります。

私は、概念の観点から何が起こっているかを参照してください。私たちはどんな「y.output」核心ザラザラに陥っを取得する必要はありません。すべては、引数をカンマでメソッド呼び出しに分けることができなかったことに由来します。また、なぜ反復的にではなく、反復的に引数リストを収集しているのかを知りたいです。

'（' と、との間T_LPAREN '）' とT_RPARENの違いは何ですか？レックスは1つのケースで1つ返しますが、別のケースではもう1つ返しますか？シンプルなパターン\（これらの両方にマッピングすることはできませんが、1つにしかマッピングできません;パターン\は同じものになります）。また、わかりやすくするために、例えば[T_LSB]のように定義しても構いません。