Los resultados que se pretenden alcanzar con el estudio de esta asignatura son:
- Conocer y comprender los distintos tipos de autómatas, gramáticas y lenguajes que reconocen. Más concretamente: Conocer la equivalencia entre lenguajes y gramáticas de los diferentes autómatas (autómatas finitos y autómatas de pila); Conocer el funcionamiento de los diferentes autómatas: autómatas finitos y autómatas de pila; Reconocer el lenguaje reconocido por cualquier autómata; Conocer los límites de los diferentes autómatas como reconocedores de lenguajes (jerarquía de lenguajes de Chomsky); Conocer el funcionamiento básico de las máquinas de Turing; Conocer límites de la computabilidad: Tesis de Turing.
- Diseñar y construir gramáticas y autómatas. Más concretamente: Conocer los mecanismos de representación de los autómatas; Conocer la representación formal de los diferentes autómatas: autómatas finitos, autómatas de pila y máquinas de Turing