ANTLRエラーが私のpythonをantlr4使用しています代替

Question

で二回表示され、この単純なガンマR入力に

emptytest : (COMMA | empty empty nonempty) EOF ; 
empty  : SEMICOLON* ; 
nonempty : DOT+ ; 
DOT   : '.' ; 
SEMICOLON : ';' ; 
COMMA  : ',' ; 

「...」との奇妙な何かに実行し、私はエラーに ラインを得ました1：0の不一致の入力 '。' {';'、 '、'}を期待しています

しかし、私が「空」をドロップしたり、「COMMA |」をドロップしたりすると、ルールから、エラーはありません。

なぜ入力 '...'が空（= ''）空（= ''）空ではないと思うのですか？

ありがとうございます。

Answer 1

あなたの文法はあいまいです - 入力;.の場合、セミコロンは最初のemptyまたは2番目のemptyのいずれかと一致する可能性があります。

このような状況では、ANTLRはいくつかの選択肢を無視することによってあいまいさを解決しようとします。この場合、emptyが出現しないことを無視してSEMICOLON（すなわち、実際には空である）という曖昧さを解決したようである。これはemptyルールのすべての用途に適用されるため、.は有効な入力と見なされません。

文法があいまいであれば、パーサーがうまく動作することは期待できません。 ANTLRは、曖昧さについて警告します（バージョン3では、パーサーの生成時に警告しますが、バージョン4についてはわかりません）。