Sintaxis y Semntica de Lenguajes

Ao 2016
Trabajo Prctico
Descripcin

Se desea desarrollar un compilador para el lenguaje de programacin Micro.

Objetivo

Se trata de que los alumnos puedan aplicar en la prctica el uso de las herramientas
abstractas que se estudian en la materia, como autmatas finitos y gramticas. Se espera,
adems, que les sirva para comprender e incorporar los conceptos y conocimientos que
se desarrollan en el Volumen 2 del libro Sintaxis y Semntica de los Lenguajes, del prof.
Jorge Daniel Muchnik, ex-director de ctedra de la materia.

Condiciones generales

El trabajo prctico ser realizado en grupos integrados por 5 6 alumnos sin excepcin.

El Lenguaje Micro

Se trata de un lenguaje terico, desarrollado por Charles Fischer (Ver el Vol. 2, pg. 37,
del libro del Prof. Daniel Muchnik). Se puede decir que es un micro Pascal, con
cuatro palabras reservadas: inicio, fin, leer y escribir (Traduccin de las respectivas
begin, end, read y write de Pascal). El nico tipo de dato es entero, y las variables no se
declaran. Las nicas operaciones permitidas son suma y resta.

El Programa Principal

Debe ser un programa comando, que recibe como argumento el archivo fuente en
lenguaje Micro, y despus de efectuar las validaciones correspondientes del argumento
realiza el anlisis y la sntesis del cdigo invocando los mdulos apropiados. El archivo
fuente debe tener extensin .m, y el archivo de salida debe contener las instrucciones
para la mquina virtual que se describen en el Vol. 2 del libro de Muchnik.

El Analizador Lxico (Scanner)

El analizador lxico es la implementacin de un AFD accionador, es decir, que produce

acciones cuando llega a ciertos estados. Es el encargado de leer el cdigo fuente en
Lenguaje micro desde el archivo, lexema por lexema, realizar el anlisis lxico, y pasar
los tokens correspondientes al analizador sintctico.

El Analizador Sintctico (Parser)

Este analizador est formado por los Procedimientos de Anlisis Sintctico (PAS), que
se deben desarrollar a partir de la gramtica del lenguaje Micro. Tambin se encarga de
invocar las rutinas semnticas, realizar la sntesis y enviar las instrucciones para la
mquina virtual a un archivo de salida (Ejecutable para la mquina virtual).
Herramientas a utilizar

Las herramientas de software necesarias son un Editor de Textos y un Compilador Ansi

C. Los conocimientos tericos que se necesitan se encuentran en el Volumen 2 del libro
Sintaxis y Semntica de Lenguajes, del prof. Muchnik, adems de lo aprendido en las
clases de la materia. La implementacin de un AFD se puede ver en la versin original
del libro de Muchnik (consta de un solo volumen), en el captulo de validacin de
cadenas.

Conclusiones finales

Discusin final sobre lo aprendido al realizar el trabajo prctico.

Forma de Entrega

Cada grupo deber presentar una carpeta con cartula que especifique la materia, el
ttulo del trabajo, fecha, el cdigo de curso, nmero de equipo y los apellidos de los
integrantes del equipo. La carpeta debe contener el cdigo Ansi C del compilador, y
tambin un programa de prueba en Lenguaje Micro. Tambin debe incluir las
conclusiones finales del trabajo prctico.

Adems se debe entregar en un medio ptico (CD/DVD) el cdigo Ansi C del

compilador, y un archivo con el programa de prueba en lenguaje Micro.

Plazos de Entrega

La fecha lmite para la entrega del Trabajo Prctico es la fecha del 2 parcial, que ser
establecida por la ctedra oportunamente.

Evaluacin

La evaluacin del Trabajo Prctico se realizar a travs de un coloquio, donde se

evaluar el mismo en lo general, y tambin a cada alumno en particular.

Ricardo G. Barca
Agosto del 2016