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.
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
Estructuras Discretas, Estructuras de Datos.