解析gram时获取shiftreduce冲突

Question

我正在使用lark解析器库中的LALR（1）解析。我写了一个语法来解析一种类似ORM的语言。下面粘贴了我的语言示例：

Table1
.join(table=Table2, left_on=[column1], right_on=[column_2])
.group_by(col=[column1], agg=[sum])
.join(table=Table3, left_on=[column1], right_on=[column_3])
.some_column

我的语法是：

start: [CNAME (object)*]
object: "." (CNAME|operation)
operation: [(join|group) (object)*]

join: "join" "(" [(join_args ",")* join_args] ")"
join_args: "table" "=" CNAME
         | "left_on" "=" list
         | "right_on" "=" list

group: "group_by" "(" [(group_args ",")* group_args] ")"
group_args: "col" "=" list
          | "agg" "=" list 

list: "[" [CNAME ("," CNAME)*] "]"

%import common.CNAME     //# Variable name declaration
%import common.WS        //# White space declaration
%ignore WS

当我解析语言时，它被正确解析，但我得到了shift-reduce冲突警告。我相信这是由于object: "." (CNAME|operation)的碰撞造成的，但我可能错了。有没有别的方法写这段语法

Answer 1

我想你应该换一个

operation: [(join|group) (object)*]

仅仅

operation: join | group

您已经允许在中重复object

start: [CNAME (object)*]

因此，在operation的末尾允许object*也是不明确的，导致了冲突

就我个人而言，我会选择这样的方式：

start    : [ CNAME ("." qualifier)* ]
qualifier: CNAME | join | group

因为我不明白object的意义。但这只是一个小的风格差异