ST0270 Lenguajes Formales y Compiladores

Semestre 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>

Conducto regular

  1. Profesor del curso

  2. Coordinador de la materia
    Andrés Sicard Ramírez

  3. 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