Autómatas y Lenguajes Formales

Posgrado en Ciencia e Ingeniería de la Computación

Semestre: 2023-1

Profesor

Francisco Hernández Quiroz
e-mail: fhq@ciencias.unam.mx

Ayudante

Vladimir Lemus
e-mail: vladimir@ciencias.unam.mx

Horario y lugar

Lunes y miércoles, 8:30–10:00, salón 304.
Espacio en Google Classroom para el curso:
https://classroom.google.com/c/NTM3NjA1NTIwMDIz

Temario

Láminas del curso

Presentación

1 Preliminares matemáticos. Lenguajes regulares I

2 Lenguajes regulares II y lenguajes independientes del contexto

3 Máquinas de Turing y decidibilidad

4 Otros modelos de computabilidad

Tareas

Tarea 1: Preliminares matemáticos. Lenguajes regulares I

Tarea 2: Lenguajes regulares II y lenguajes independientes del contexto

Tarea 3: Máquinas de Turing y decidibilidad

Tarea 4: Otros modelos de computabilidad