Ya tengo montado mi analizador sintactico, ahora tengo el siguiente problema, no consigo hacer que analice mas de una sentencia a la vez.

La idea es leer codigo de un archivo pero me da “errores sintacticos” justo despues de reconocer la primera sentencia valida, cuando lee el primer token de la siguiente, da ese error .. no se si tendrías alguna idea al respecto?
Muchas Gracias

Te contesto,

1) PLY hace uso del docstring de las funciones definidas. Esta introspección le permite conocer como deben encadenarse las distintas reglas.

2) En p[1] está el contenido de item, mientras en que p[2] el contenido de items. El primero es un elemento, mientras que el segundo una secuencia de elementos (así lo mandan las reglas definidas). Para que el resultado sea una secuencia con item como primer elemento (cabeza) e items como el resto de la secuencia (cola), escribo:

p[0] = [p[1]] + p[2]

lo que se lee: guardar en p[0] la concatenación de una lista de un único elemento p[1] y la lista p[2].

Espero se haya entendido.

Primero, Gracias por la valiosa informacion que ofreces en en este post.

Segundo, Estoy realizando un trabajo en la universidad que consiste en realizar un compilador para java (bueno java reducido). He estado mirando tu codigo y me surgen un par de dudas (sobre Yacc):

Entiendo que estamos definiendo una funcion por cada regla de la gramatica, pero no veo como se interrelacionan estas funciones entre sí tal y como lo hacen sus respectivas reglas de la gramatica. si por ejemplo tenemos:

EXP ::= itemPrimero EXP2
EXP2 ::= item EXP2

de la primera regla a la segunda vamos mediante EXP2 pero en codigo parecen independientes, como si no hubiera un nexo entre ellas.

Por otra parte, tiene definida la siguiente funcion

def p_items(p):
‘items : item items’
p[0] = [p[1]] + p[2]

¿porque [p[1]]? no deberia de ser en todo caso [p[2]] ya que es la parte recursiva?

Gracias de antemano y un saludo!

De nuevo muchas gracias.

Alfredo

Por otro lado, si están haciendo un compilador de C en Python, no dejen de mirar: ANSI C en PLY.

1. S -> V D P

¿Esto en el código de BNF sería :

def p_s(p):
‘S : V D P’
p[0] = p[1] p[2] p[3]
?
¿Y en el caso
V -> T L ; V
?

Supongamos que la expresión que se analizará sintácticamente (ya pasó por el analizador léxico, es decir que consiste de tokens válidos) es: (= (+ 1 1) 2).

En base a las reglas BNF definidas, esta expresión puede verse como el siguiente árbol:

La expresión se va resolviendo de abajo hacia arriba en el árbol (o lo que es lo mismo de adentro hacia afuera en la expresión) mediante la aplicación de las funciones definidas.

El único detalle que tendrías que explicar mejor es por qué en las funciones de YACC vas “reduciendo” a su primer elemento ese “p” que recibís.

Saludos!