Skip to main content
se eliminaron 122 caracteres en el cuerpo
Origen Enlace
rici
  • 315
  • 1
  • 6

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.

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 lasdos, 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, como he hecho arriba. En la tuya, el valor es un Token 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.

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 las 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 una 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]).

Origen Enlace
rici
  • 315
  • 1
  • 6

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 lasdos, 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, como he hecho arriba. En la tuya, el valor es un Token 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.