Maestría en Ciencias de la Computación

Los autómatas son máquinas abstractas capaces de reconocer numerosos patrones de símbolos, conocidos como lenguajes. La teoría fundamental del cómputo por su parte busca formalizar el concepto de computadora y descubre hasta donde puede emplearse ésta para resolver problemas. La complejidad algorítmica establece métodos para la medición del desempeño de los algoritmos, principalmente en términos de tiempo y memoria requeridos para el procesamiento. Esta asignatura se dividirá en 4 parciales: en el primer parcial se estudiarán los Lenguajes Regulares y los Autómatas Finitos, base de cualquier modelo de teoría computacional. En el segundo parcial trataremos las Máquinas de Turing, sus variantes y su manera de procesar problemas aritméticos. En el tercer parcial, los estudiantes expondrán una parte de los temas de computabilidad y reducibilidad, con el formalismo de las Máquinas de Turing. Finalmente, el último parcial se verán las complejidades temporal y espacial de los algoritmos.