erreur Antlr avec un non-terminal vide-possible apparaît deux fois dans une alternative

Question

J'utilise antlr4 python et courir dans quelque chose de bizarre avec ce Gammar simple,

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

En entrée « ... », je suis arrivé erreur ligne 1: 0 entrée non concordante '.' J'attends {';', ','}

Mais si je laisse tomber un 'vide', ou abandonne 'COMMA |' de la règle, pas d'erreur. Je me demande pourquoi l'entrée '...' ne peut pas être interprétée comme vide (= '') vide (= '') nonempty (= '...')?

Merci pour toute idée.

Answer 1

Votre grammaire est ambiguë - pour l'entrée ;., le point-virgule peut correspondre à la première empty ou à la seconde empty.

Dans une telle situation, ANTLR essaie de résoudre l'ambiguïté en ignorant certaines alternatives. Il semble dans ce cas qu'il a résolu l'ambiguïté en ignorant la possibilité de empty de ne contenir aucune occurrence de SEMICOLON (c'est-à-dire d'être réellement vide). Cela s'applique à toutes les utilisations de la règle empty, donc . n'est pas considérée comme une entrée valide. Le point à retenir est que si votre grammaire est ambiguë, vous ne pouvez pas vous attendre à ce que l'analyseur se comporte bien. ANTLR vous avertira de l'ambiguïté s'il en rencontre un (dans la version 3 il vous avertit lors de la génération de l'analyseur, pas sûr de la v4).