Se estudia cómo describir y reconocer patrones en cadenas de símbolos mediante modelos formales, con énfasis en lenguajes regulares y lenguajes libres de contexto. Partiendo de la notación y operaciones básicas con lenguajes, y avanzando hacia la construcción y verificación de autómatas finitos (AFD, AFN y ε-AFN) y expresiones regulares. Posteriormente se trabajan gramáticas libres de contexto (CFG), derivaciones y árboles de derivación, incluyendo nociones de ambigüedad y una introducción práctica a AST como apoyo para comprender estructuras de mini-lenguajes. El curso combina sesiones presenciales/mixtas con prácticas sincrónicas en línea (especialmente miércoles y sábados), donde se desarrollarán actividades aplicadas con herramientas de simulación y validación para reforzar la comprensión mediante “ejecución/simulación paso a paso” y casos de prueba. La evaluación incluye actividades prácticas y cuestionarios, además de evaluaciones escritas formales (dos parciales, final y segunda instancia), con un enfoque en demostrar comprensión conceptual y capacidad de resolver problemas de manera sistemática.
- Profesor: Administrador Usuario