Este curso tem por objectivo apresentar os fundamentos das Teorias das Linguagens Racionais, dos Autómatos Finitos e dos Semigrupos, as quais constituem não só uma importante área dentro da Álgebra mas são também alguns dos principais pilares da Computação Teórica.
