c - YACC 语法减少/减少冲突

Question

我有以下语法来检查 XML 文件的有效性，文件以一个元素开始，然后是根节点。

program
    : terminal_node
      root
    ;
root
    : '<' ID attribute_list '>' node_list '<' ID '/''>'
    ;
node_list
    : node
    | node node_list
    ;
node
    : terminal_node
    : nonterminal_node
    ;   

terminal_node
    : '<' ID attribute_list '/''>'
    ;

nonterminal_node
    : '<' ID attribute_list '>' node_list '<' ID '/''>'
    ;
attribute_list
    : attribute
    | attribute attribute_list
    ;

attribute
    : ID ASSIGNOP '"' ID '"'
    | ID ASSIGNOP '"' NUM '"'
    ;

我遇到了 1 个减少/减少冲突，但我不知道如何找到它。任何帮助，将不胜感激。

Answer 1

对于 XML 语法，这看起来有点奇怪。你确定你不想要空node_list的s或attribute_lists吗？

无论如何，试试这个：

node_list
    : node
    | node_list node /* list first, element second, this is the LALR way */
    ;
node
    : terminal_node
    | nonterminal_node /* note a typo in your code here */
    ;