YACC gramática redução/redução de conflitos

Question

Eu tenho a seguinte gramática para verificar a validade de um arquivo XML, o arquivo começa com um elemento e, em seguida, o nó raiz.

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 '"'
    ;

Eu estou começando a 1 de redução/redução de conflitos, e eu não sei como encontrá-lo.Qualquer ajuda seria apreciada.

Answer 1

Isso parece um pouco estranho para uma gramática XML.Tem certeza que você não quer vazia node_lists ou attribute_lists?

De qualquer maneira, tente isso:

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 */
    ;