在我的语法中出现移位/减少错误

Question

这是我的编程语言的语法部分。我在编译时遇到了 shift/reduce 冲突。

Rule 1:    encryption_spec: key_spec 

Rule 2:   key_spec:
    key_spec key_spec_content
    | key_spec_content
    ;

Rule 3:    key_spec_content: TOK_PROTECT key_keyowner 
    |TOK_PROTECT key_keyname
    |TOK_PROTECT key_keymethod
    |TOK_PROTECT key_pub_key
    |TOK_COMMA key_keyowner 
    |TOK_COMMA key_keyname
    |TOK_COMMA key_keymethod
    |TOK_COMMA key_pub_key
    |encoding
    ;

我在规则 1 中遇到了 shift/reduce 冲突。 你能建议我修改一下吗？

Answer 1

您的 key_spec 规则格式错误。事实上，你有一个无限递归。
您应该将其更改为类似

key_spec: /* Empty. */
    | key_spec key_spec_content
;

编辑：删除 %empty bison 扩展。

Answer 2

@Leo 的规则是不正确的，因为它允许 key_spec_content 出现零次，而原始要求至少出现一次。以下应该这样做：

key_spec:
  key_spec key_spec_content
  | key_spec_content
;

但是，这个规则有一个不必要的递归。以下应该更好：

key_spec:
  key_spec_content key_spec
  | key_spec_content
;

这允许在看到每个 key_spec_content 后减少。