Tu gramática dice (en p_lista_id
):
lista_id : IDEN
Sin embargo, se puede ver que el analizador léxico producía el token ID
:
Error : PROGRAM LLAVEI INT . LexToken(ID,'x',1,14)
Como el analizador sintáctico está esperando IDEN
y lo que recibe es ID
, no lo acepta.
En tu apartado lexicografíco, tienes dos patrones iguales, uno un variable y otro una función:
t_IDEN = r'[a-z][a-zA-Z0-9_]*'
def t_ID(t):
r'[a-z][a-zA-Z0-9_]*'
Obviamente, solo uno podría ser aceptado. El analizador léxico de Ply, a diferencia de muchos otros, simplemente devuelve el primer patrón que coincide, así que el orden de patrones es sumamente importante. Esta descrito en la documentación, pero la resumen es que primero intenta las funciones, en la orden que aparecen en el apartado, y después los patrones en variables, de lo más largo hacia lo mas corto. Así que elige la función en lugar del variable, por lo que el token es ID
.
Me parece que t_IDEN
fue una equivocación. Debería eliminarlo, cambiar IDEN
por ID
en todas las reglas sintácticas, y también sacarlo de la lista de tokens.
Por otro lado, hay una ambigüedad en:
def p_lista_declaracion_declaracion(p):
'''lista_declaracion : declaracion
| empty'''
p[0]=p[1]
Solo necesitas una de las reglas; con lasdoslas dos, tienes un conflicto. Si tu intención fue que la lista de declaraciones pueda ser vacío, necesitas solo:
def p_lista_declaracion_declaracion(p):
'''lista_declaracion : empty'''
p[0]=[]
Si tiene que ser por lo menos una declaración en la lista, necesitas:
def p_lista_declaracion_declaracion(p):
'''lista_declaracion : declaracion '''
p[0]=[p[1]]
En cualquier caso, hay que asegurarse que el valor semántico sea un list de declaraciones, como he hecho arriba. En la tuya, el valor es un Tokenuna declaración, si el analizador opta por lista_declaracion : declaracion
, o None
si opta por lista_declaracion : empty
(porque p_empty
no asigna valor ningún a p[0]
). Sea que sea, sería imposible cumplir con p_lista_declaracion
, que intenta p[1].append(p[2])
, porque ni Token
ni None
tiene método append
.