Hoy vamos a tener una sesión sobre Análisis Semántico con la herramienta automática JavaCC.
Fundamentalmente veremos como agregar verificaciones y acciones semánticas a un analizador generado automáticamente.
Hoy vamos a tener una sesión sobre Análisis Semántico con la herramienta automática JavaCC.
Fundamentalmente veremos como agregar verificaciones y acciones semánticas a un analizador generado automáticamente.
He publicado en la web de la asignarura IAIC una lista de ejercicios para cada uno de los temas que llevamos dados.
También recordaros que teneis que solicitar el trabajo adicional del segundo cuatrimestre(obligatorio).
Última clase sobre lógica proposicional donde se explicó la resolución proposicional, algoritmo y posibles extensiones o modificaciones.
Se puso en la página de la asignatura el pseudocódigo del algoritmo y un ejemplo de ejecución del mismo.
Última sesión sobre el análisis semántico sobre Tinto v0.1 “a mano”.