La asignatura “Autómatas, Gramáticas y Lenguajes” se ocupa del estudio de las máquinas de estados finitos que se utilizan como reconocedores de lenguajes. En cuanto a reconocedores, los autómatas constituyen la base para la construcción de compiladores, y para el estudio de la computabilidad, esto es, qué es capaz de computar una máquina y con qué complejidad.

La presente guía contiene información de carácter general sobre la asignatura, su ubicación dentro de la titulación, competencias que trabaja, conocimientos previos recomendables y resultados esperados de aprendizaje. En concreto, se recomienda al alumno que visite el apartado de Evaluación, ya que, debido a que esta asignatura se enmarca dentro del marco definido por el Espacio Europeo de Educación Superior, parte de la asignatura se evaluará utilizando un método de evaluación continua. Por ello, la calificación de prácticas tendrá un peso en la calificación final de la asignatura.

Esta asignatura es común a los grados en Ingeniería Informática y en Ingeniería de las Tecnologías de la Información y de carácter obligatorio en ambas titulaciones. Se imparte en el segundo cuatrimestre del primer curso, consta de 6 créditos ECTS y es parte de la materia de Lenguajes de Programación. Dentro de esta materia es la primera de las asignaturas que se cursa.

El conocimiento de sus contenidos es necesario para cursar las asignaturas de Teoría de los Lenguajes de Programación y Procesadores de Lenguajes I y II en el Grado en Ingeniería Informática y de Lenguajes de Programación y Procesadores en el Grado de Ingeniería de las Tecnologías de la Información. Así mismo, esta asignatura tiene su continuidad en la asignatura obligatoria Complejidad y Computabilidad en el grado en Ingeniería Informática.

Esta asignatura se sitúa, por tanto, en el nivel básico dentro del plan de formación de los grados en Ingeniería Informática y en Tecnologías de la Información y desarrolla las competencias relacionadas con las capacidades para: conocer los fundamentos teóricos de los lenguajes de programación y las técnicas de procesamiento léxico, sintáctico y semántico asociadas; saber aplicar las citadas técnicas para la creación, diseño y procesamiento de lenguajes.