7

I relative new to ANTLR. I have an very easy grammar: 

start   :
('A' 'B' 'C' '1'
|'A' 'B' 'C' '2' 
|'A' 'B' 'C' '3'
)
;

I think that I already understand the basics of the concept of look ahead and backtracking (which works with syntactic predicates). So this grammar works with k=4 or with backtrack=true. But what is the exact difference and the main question is when do I use what? i tried to find the answer on the internet but didn't succeded.

Sanjiv
  • 1,795
  • 1
  • 29
  • 45
Veilchen4ever
  • 357
  • 7
  • 16

2 Answers2

4

Your grammar works in ANTLR v3 without any options.

The k option limits ANTLR to classical LL(k) parsing. Backtracking means - if the parser cannot predict, which rule to use, it just tries, backtracks and tries again. The backtracking option you should use when ANTLR cannot build look-ahead DFA for the given grammar. ANTLR v3 can build DFAs from regular expressions pretty easy, but it has its difficulties with recursive rules. For example, this grammar works:

start: recursive_rule ';'
     | recursive_rule ':'
     ;

recursive_rule : (ID)* '%'
               ;

This grammar below is the same, but expressed through recursion. ANTLR cannot build DFA for it (I actually don’t know why), so you need to switch backtracking on:

start options {backtrack=true;} : recursive_rule ';'
                                | recursive_rule ':'
                                ;

recursive_rule : ID recursive_rule
               |'%'
               ;

The k option is used to improve the parser performance. I don’t know any other reason for restricting LL(*) to LL(k).

Andy
  • 634
  • 7
  • 19
  • Thank you. I will try it with the recursive rule to understand it better. But now I have an idea. Thanks. – Veilchen4ever Nov 16 '12 at 14:25
  • Could you explain about the second recursive example? Because i think that is not a left recursion rule and ANTLR should be able to deal with it? – xi.lin Feb 10 '14 at 08:19
3

I found a theoretical description to my question in the Book "The definitve Antlr Reference", which was also important for my understanding. Maybe some others who asks themselves similar question would help this snippet of the book too.

Snippet from the Book "The definitive Antlr Reference"

Page 262

Veilchen4ever
  • 357
  • 7
  • 16