Bisonが間違ったトークンと一致する

Question

PLYに問題がありましたが、私はバイソンに同じ文法の断片を言い換えてみましたが、同様の問題が発生しました。これは私が何か間違っているかもしれないことを示唆している。文法が決定論的である

multiline: '{' EOL lines EOL multiline '}' 
     | 
     ; 

lines: lines ANYTHING EOL 
    | 
    ; 

：

document -> fragment? 
fragment -> { \n line* \n fragment? } 
line  -> [^\n]+ \n 

関連LEX線：

[{}] return *yytext; 
[^\n]+ return ANYTHING; 
\n  return EOL; 

関連バイソン線

文法断片の記号表現は、このようになります私が知っていることはLALR（1）であってもよいはずです（ただし、実際にはテーブルを構築しようとはしませんでした）。 "{\n\n}"のような文書はOKですが、multiline要素がネストされている文書（例えば"{\n\n{\n\n}}"）はありません。レクサーは最後に"}}"を2つの'}'ではなくトークンとして表示します。

私は間違っていますか？

Answer 1

[{}] return *yytext; 
[^{}\n]+ return ANYTHING; 
\n  return EOL; 

Lexは欲張りです：2つのパターンが現在の入力と一致する場合、最長一致が勝ちます。元のlexフラグメントでは、[^\n]+パターンは{または}の行をキャッチします。