Teoría de Autómatas y Lenguajes Formales

Código de la asignatura10902
Nº Créditos ECTS6
TipoObligatoria
DuraciónSemestral
IdiomasCastellano
Planes de estudio
Profesor(es)
Año académico2026-27
Descripción

Teoría de Autómatas y Lenguajes Formales es una asignatura obligatoria de 6 créditos que introduce al estudiante en los pilares de la computación: la teoría de lenguajes y la teoría de autómatas. Estos fundamentos permiten modelar máquinas de proceso de información, estableciendo la base lógica necesaria para el diseño de procesadores de lenguajes.

A lo largo del curso, se profundiza en las etapas críticas de la construcción de compiladores e intérpretes, abarcando el análisis léxico (reconocimiento de símbolos), el análisis sintáctico (validación de estructuras) y el análisis semántico (validación de significado y coherencia). Este enfoque permite al estudiante transitar de una visión de usuario a una de constructor de tecnología, con aplicaciones directas en el desarrollo de software base, el procesamiento de lenguaje natural, la seguridad informática,  los sistemas de control de máquinas industriales y la robótica.