解析与Jison的模糊输入,更喜欢一个解析而不是另一个解析

时间:2015-01-16 19:49:23

标签: parsing jison ambiguous-grammar

我有以下语法:

stmt : var_decl
     | expr ';'
     ;

var_decl : 'lazy' IDENTIFIER '=' EXPR ';'
         ;

expr : expr '=' prefix_expr
     | prefix_expr
     ;

prefix_expr : 'lazy' prefix_expr
            | term_expr
            ;

term_expr : IDENTIFIER
          ;

但是,以下输入将不明确:

lazy x = y;

因为它有两个有效的解析:

  1. 变量声明,
  2. lazy xy之间的比较。
  3. 我希望解析器更喜欢var_decl解析。这可能吗?我可以对AST进行后期处理,但我更愿意让解析器为我处理这个问题。

0 个答案:

没有答案