ST0270 Lenguajes Formales y Compiladores (2024-1)

¡Esta página será actualizada continuamente durante el semestre!

Información del curso

Profesor

Andrés Sicard Ramírez <asr(at)eafit(dot)edu(dot)co>
Horario de atención

Conducto regular

Profesor del curso
Coordinador de la materia
Andrés Sicard Ramírez
Jefe de la carrera de Ingeniería de Sistemas
Juan Carlos Montoya Mendoza <jcmontoy(at)eafit(dot)edu(dot)co>

Clases

Clase 3902, 6:00 p.m. a 8:00 p.m.
Lunes, aula 27-202
Miércoles, aula 27-201

Textos guías

Alfred V. Aho, Monica S. Lam, Ravi Sethi y Jeffrey D. Ullman [1986] (2006). Compilers: Principles, Techniques, & Tools. Segunda ed. Addison-Wesley. Material suplementario.

Alfred V. Aho, Monica S. Lam, Ravi Sethi y Jeffrey D. Ullman [1986] (2008). Compiladores: Principos, Técnicas y Herramientas. Segunda ed. Pearson Educación. Correcciones [ pdf ].

Stefano Crespi Reghizzi, Luca Breveglieri y Angelo Morzenti [2009] (2019). Formal Languages and Compilation. Tercera ed. Texts in Computer Science. Springer.

Dexter C. Kozen [1997] (2012). Automata and Computability. Tercera impresión. Undergraduate Texts in Computer Science. Springer.

Programas

JFLAP (version 7.1, July 27, 2018). Probado en Ubuntu Jammy (22.04.4 LTS) y OpenJDK 21.0.2.

Evaluación del curso

Porcentajes

Actividad	%
Tres exámenes parciales	20% c/u
Proyecto final	25%
Tres tareas	5% c/u

Fechas y descripciones de las actividades evaluativas

Actividad	Semana	Fecha	Secciones textos guías/Descripción
Primer tarea	3.ª	Domingo, febrero 11, 11:59 p.m.	Implementación de autómatas finitos deterministas
Primer examen parcial	5.ª	Lunes, febrero 19	Kozen (2012), Lecturas 2–6, 8 y 11.
Segundo examen parcial	10.ª	Lunes, abril 1	Kozen (2012), Lecturas 19–21, 23 y 24.
Segunda tarea	13.ª	Miércoles, abril 24, 11:59 p.m.	Implementación del algoritmo CKY
Tercer examen parcial	15.ª	Lunes, mayo 6	Kozen (2012), Lecturas 28 y 29. Aho, Lam, Sethi y Ullman (2006). Secciones 4.4.1–4.4.3.
Proyecto final	18.ª	Lunes, mayo 27	Primero y Siguiente

Material para el curso

Diapositivas

Tema	Diapositivas
Introducción	[ pdf ]
Teoría de los lenguajes formales: Definiciones y operaciones básicas	[ pdf ]
Lenguajes regulares y autómatas finitos	[ pdf ]
Lenguajes libres de contexto y autómatas a pila	[ pdf ]
Máquinas de Turing	[ pdf ]
Análisis sintáctico	[ pdf ]
Semántica de traducción y análisis estático	En preparación