O obxectivo desta materia é introducir ao alumnado no estudio dos autómatas, como máquinas ou dispositivos abstractos con capacidade de computación, e das línguaxes que ditos autómatas recoñecen. Tamén se estudiarán as gramáticas formais asociadas a ditas linguaxes. Proponese un percorrido en orden crecente de capacidade de cómputo, comezando cos autómatas de estados finitos, ata o máis complexo, a máquina de Turing, que plantexará ao alumnado os límites da computación. O plantexamento da asignatura proporcionará os fundamentos formais para áreas relevantes da intelixencia artificial como a linguaxe natural e o seu tratamiento.
