Compilador para pascal con lex y yacc

[yoami2003]

Lo primero y más importante,
-GRACIAS POR RESPONDER !!!!!
He intentado seguir tus consejos pero tengo un problema. Algo parecido se me ocurrio a mi pero no pude hacerlo por lo siguiente:
.-El analizador sintactico de yacc estudia las estructuras de abajo a arriba x ej:
tenemos: function abb (a,b):integer;
en las declaraciones de yacc:
'function' ID '(' listaID ')' ':' tipo ';'
listaid: ID
| ID ',' ID
....
Lo primero que encontraria seria un ID que encuadraria en listaid pero al ser el id lo primero en ser localizado no se puede saber si ese ID pertenece al parametro de de un procedimiento, a una declaracion o a otra cosa.
Ese es el problema, que al encontrar un ID, sepa que es y a donde pertenece.

No se si soy muy claro pero si no me explico bien te lo redacto mejor

GRACIAS POR TODO !!!!