Shift / Уменьшить Conflit Ply YACC - PullRequest
Новая
       36

Shift / Уменьшить Conflit Ply YACC

0 голосов
/ 12 января 2020

я делаю компилятор ply ya cc и у меня следующее предупреждение: 

WARNING: 9 shift/reduce conflicts

Вот мои правила для создания дерева синтаксиса c. 

def p_programme_statement(p):
''' programme : statement  '''
p[0] = AST.ProgramNode(p[1])

def p_programme_recursive(p):
    ''' programme : statement ENTER programme '''
    p[0] = AST.ProgramNode([p[1]]+p[3].children)

def p_statement(p):
    ''' statement : assignation
            | structure  '''
    p[0] = p[1]

def p_expression_num_or_var(p):
    '''expression : INT
        | FLOAT 
        | IDENTIFIER 
        '''
    p[0] = AST.TokenNode(p[1])

def p_expression_op(p):
    ''' expression : expression MUL_OP expression 
    | expression ADD_OP expression
    | expression COMPARATOR expression '''
    p[0] = AST.OpNode(p[2], [p[1], p[3]])

def p_assign(p):
    ''' assignation : IDENTIFIER EQU expression '''
    p[0] = AST.AssignNode([AST.TokenNode(p[1]),p[3]])


def p_statement_print(p):
    ''' statement : PRINT expression '''
    p[0] = AST.PrintNode(p[2])


def p_structure_if(p):
    '''structure : IF expression POINTS ENTER TAB programme '#' '''
    p[0] = AST.IfNode([p[2],p[6]])

def p_structure_function(p):
    '''structure : DEF expression '(' ')' POINTS ENTER TAB programme '#' '''
    p[0] = AST.FunctionNode([p[2],p[8]])

def p_structure_while(p):
    ''' structure : WHILE expression POINTS ENTER TAB programme '#' '''
    p[0] = AST.WhileNode([p[2],p[6]])

def p_expression_paren(p):
    '''expression : '(' expression ')' '''
    p[0] = p[2]

Конфликты в функции p_expression_op (с MUL_OP, ADD_OP, COMPARATOR). Но я не могу решить, есть ли у вас идеи?

Спасибо

1 Ответ

1 голос
/ 13 января 2020

Как сказал @rici, в моем коде отсутствовал порядок приоритета:

Следующий код решил проблему: 

precedence = (
('left', 'ADD_OP'),
('left', 'MUL_OP'),
('left','COMPARATOR')
)

Спасибо!

...