En esta materia se enseñan a al alumno las competencias básicas relacionadas con el diseño y especificación de autómatas y lenguajes formales así como aplicación a la contsrucción de compiladores e intérpretes. Se enfatizará la adquisición de los conocimientos necesarios para capacitar al alumno en el diseño e implementación de analizadores, con especial énfasis en los niveles léxico y sintáctico; junto con una introducción al tratamiento semántico y la generación/optimización de código. Por desgracia, debido al escaso tiempo destinado por los redactores del Plan de Estudios en relación a las competencias y contenidos especificados para esta asignatura, tal introducción deberá ser necesariamente limitada.