Lambda выражение в ANTLR несоответствующий ввод

Question

Я хочу реализовать парсер для лямбда-выражений. Но я получаю «несоответствующие вход„“, ожидающей„)“» ошибка для этого входа: (\ хх х) (\ хх х), не знаю, почему ...

У меня есть грамматики:

grammar Lambda; 


lambda_expression : VARIABLE 
       | '\\' VARIABLE '.' lambda_expression 
       | ('(' lambda_expression ')')+ 
       | EOF 
; 

VARIABLE : 'x' | 'y' | 'z' | 'v' | 'w' 
;     

WS : (' ')+ -> channel(HIDDEN);  

и это мой основной класс:

public static void main(String[] args) throws IOException { 
     // TODO code application logic here 
     ANTLRInputStream input = new ANTLRInputStream("(\\x.x x) (\\x.x x)"); 
     LambdaLexer lex = new LambdaLexer(input) ; 
     CommonTokenStream tokens = new CommonTokenStream(lex); 
     LambdaParser parser = new LambdaParser(tokens); 
     parser.lambda_expression(); 

     parser.setBuildParseTree(true); 
     LambdaParser.Lambda_expressionContext tree = parser.lambda_expression(); 
     System.out.println(tree.toStringTree(parser)); 

    } 

Я использую antlr4-4.1-complete.jar

Answer 1

рекурсии на lambda_expression из ALT3 ( -> Alt2 \x. -> alt1 x соответствует (\x.x, оставляя парсер желающим завершить матч с alt3 с ).

Изменение Alt2 к

| '\\' VARIABLE ('.' lambda_expression)+ lambda_expression 

может быть решение, в зависимости от того, на самом деле отражает это ваш допустимый синтаксис лямбда.