Ciencias de la Computación (plan 2013) 2020-1

Cuarto Semestre, Autómatas y Lenguajes Formales

https://sites.google.com/ciencias.unam.mx/aylf/aylf-2020-1

Temario:

1. Introducción: cadenas y lenguajes, definiciones inductivas e inducción estructural

2. Lenguajes Regulares: expresiones regulares, autómatas finitos (no)deterministas, propiedades

3. Lenguajes Libres de Contexto: gramáticas y formas normales, autómatas de pila, ambigüedad, propiedades

4. Máquinas de Turing: diseño, lenguajes recursivos y recursivamente enumerables, propiedades

Requisitos:

Estructuras Discretas, Estructuras de Datos.

Evaluación:

40% tareas semanales (entrega los viernes) y 60% exámenes parciales.