El objetivo de esta materia es introducir al alumnado en el estudio de los autómatas, como máquinas o dispositivos abstractos con capacidad de computación, y de los lenguajes que dichos autómatas reconocen. También se estudiarán las gramáticas formales asociadas a dichos lenguajes. Se propone un recorrido en orden creciente de capacidad de cómputo, comenzando con los autómatas de estados finitos, hasta el más complejo, o máquina de Turing, que planteará al alumnado los límites de la computación. El planteamiento de la asignatura proporcionará los fundamentos formales para áreas relevantes de la inteligencia artificial como el lenguaje natural y su tratamiento.