La teoría de los Lenguajes Formales y autómatas, suministran los elementos teóricos y prácticos que fundamentan la informática y la ciencias de la computación. Ofrece métodos y técnicas para analizar, diseñar y desarrollar lenguajes de programación fundamentados en autómatas. El análisis dirigido por sintaxis apoyado en expresiones regulares, lenguajes libres de contexto, autómatas finitos y máquinas de pila permite a través del procesamiento descendente o ascendente, enfatizan en la resolución de problemas que se encuentran al diseñar un traductor de un lenguaje.
Se busca con este curso:
- Crear destrezas analíticas de gran importancia a través del aprendizaje de la teoría de los lenguajes formales, métodos y técnicas óptimas de construcción de reconocedores de un lenguaje fuente,
- Aplicar los conocimientos para solucionar problemas complejos de computación y más concretamente para la construcción de lenguajes de programación.
- Creación de nuevas perspectivas de análisis basadas en la recursividad de sus acciones
- Docente: NELSON JARAMILLO ENRIQUEZ