Autómatas y Lenguajes Formales 2024-2
Grupo 7058
Prof. Lourdes del Carmen González Huesca lu mi vie 12 a 13 hrs luglzhuesca@ciencias.unam.mx
Prof. Lourdes del Carmen González Huesca lu mi vie 12 a 13 hrs luglzhuesca@ciencias.unam.mx
Ayud. Juan Pablo Yamamoto Zazueta ma ju 12 a 13 hrs
Ayud. Juan Pablo Yamamoto Zazueta ma ju 12 a 13 hrs
LA INSCRIPCIÓN AL CURSO OBLIGA A ACEPTAR LAS CONSIDERACIONES DESCRITAS EN LA Evaluación
Sólo los alumnos inscritos tendrán evaluación y pueden estar en classroom.
Temario:
Temario:
Introducción: cadenas y lenguajes, definiciones inductivas e inducción estructural
Lenguajes Regulares: expresiones regulares, autómatas finitos (no)deterministas, propiedades
Lenguajes Libres de Contexto: gramáticas y formas normales, autómatas de pila, ambigüedad, propiedades
Máquinas de Turing: diseño, lenguajes recursivos y recursivamente enumerables, propiedades
Requisitos:
Requisitos:
Estructuras Discretas, Estructuras de Datos.