Comprender os conceptos da teoría de autómatas e das linguaxes formais, e estudar as súas aplicacións.

Coñecer os diferentes modelos de máquinas computacionales, gramáticas e linguaxes formais, así como a correspondencia entre autómatas, linguaxes e gramáticas.

Asimilar e aplicar os conceptos de decidibilidad e complexidade computacional.