Saludos

Acabo de terminar de construir un analizador sintáctico para un compilador, y el siguiente paso es hacer el analizador semántico, he leído documentación de varios lados para darme un idea de los pasos que tengo que seguir, pero aún me quedan algunas dudas. El primer paso (segun lo que lei) es hacer esquemas de traducción dirigidos por la sintaxis, o sea, especificar una serie de acciones que se realizaran durante el análisis de la entrada, esto con acciones intercaladas a las reglas y atributos asociados a los no Terminales de la gramática.

por ejemplo si yo tengo la regla:

<procedimiento>:= Procedimiento Iden <parametros> <Bloque> fin Iden ;

el análisis semántico dice que me tengo que asegurar que el iden que esta antes de los parametros y el Iden que esta despues del fin sean iguales, pero no se como hacer las acciones intercaladas en esa regla o si necesita tener atributos asociados a algun no terminal(los no terminales son los que estan entre <>).