एएनटीएलआर लेक्सर नियम अस्पष्टताओं को हल करने का सही तरीका?

Question

कृपया यहां उपलब्ध स्रोत कोड देखें: https://gist.github.com/1684022।

ID : ('a'..'z' | 'A'..'Z') ('0'..'9' | 'a'..'z' | 'A'..'Z' | ' ')*; 

PITCH 
    : (('A'|'a') '#'?) 
    | (('B'|'b') '#'?) 
    | (('C'|'c') '#'?); 

जाहिर है, पत्र 'ए' एक अस्पष्टता होगा:

मैं दो टोकन परिभाषित मिल गया है।

मैं आगे को परिभाषित:

note : PITCH; 
name : ID; 
main : name ':' note '\n'? 

अब, अगर मैं दर्ज करें: पार्सर को इनपुट के रूप में "एक एक", मैं हमेशा कोई त्रुटि मिलती है। या तो पार्सर पिच या आईडी आईडी या पिच पहले परिभाषित किया गया है जो इस पर निर्भर उम्मीद:

mismatched input 'A' expecting ID 

इतना है कि यह अपेक्षित तरीके से काम इस को हल करने के लिए उचित तरीका क्या है?

---

के रूप में वर्णन किया गया है, हालांकि यह सहज ज्ञान युक्त भावना कैसे पार्स काम करना चाहिए बनाता है, ANTLR "सही बात" नहीं करता है। ऐसा है, भले ही main नियम कहता है कि name/ID पहले आना चाहिए, लेक्सर इस बात से अनजान प्रतीत होता है और "ए" को PITCH के रूप में पहचानता है क्योंकि यह "सबसे लंबा मैच"/"जो पहले आता है" नियम के बजाए अधिक उचित "नियम क्या कहता है" नियम।

क्या आईडी और पिच दोनों से मेल करके नकली/हैक का एकमात्र समाधान है, और फिर बाद में उन्हें पुन: संयोजित करने के रूप में dasblinkenlight कहते हैं?

ID : (('a'..'z' | 'A'..'Z') ('0'..'9' | 'a'..'z' | 'A'..'Z' | ' ')+) 
    | ('d'..'z' | 'D'..'Z'); 

PITCH : 'a'..'c' | 'A'..'C'; 

SHARP : '#'; 

note : PITCH SHARP?; 

name : ID | PITCH; 

main : name ':' note '\n'? EOF 

यह एक चरित्र पिच नाम है, जो "फिर से" मिल पार्सर में से लंबे नामों को अलग करती है:

Answer 1

यहाँ मैं कैसे फिर से कारक हैं इस व्याकरण यह काम कर रहा है। इसके अलावा "तेज" टोकन का अपना नाम मिलता है, और पार्सर में वैकल्पिक टोकन के रूप में पहचाना जाता है।