El presente curso se enfoca en el estudio de los autómatas, que son modelos abstractos de máquinas que pueden aceptar o rechazar ciertos lenguajes o secuencias de entrada. La teoría de autómatas es una rama fundamental de la ciencia de la computación y es esencial para la comprensión de muchas áreas de la informática, como la compilación de lenguajes de programación, el procesamiento de lenguaje natural, la verificación formal de software y la inteligencia artificial.
Es un curso típico donde se espera que los estudiantes adquieran una comprensión sólida de los conceptos y técnicas fundamentales de los autómatas y los lenguajes formales, además aprenderán a diseñar, analizar la equivalencia entre los diferentes modelos.
Curso con una duración de 7 semanas, se recomienda realizar mínimo 3 horas por semana. ¡aprovéchalo!