Apresentação de Bernardo Fernandes.

Abstract: As Funções de Custo formam uma extensão quantitativa, recente, das clássicas Linguagens Regulares, as quais estão associadas aos Monóides Finitos, pelo Teorema da Variedade de Eilenberg. As funções de custo por sua vez aparecem associadas aos Monóides de Estabilização. A teoria das Funções de Custo, em vários dos seus aspetos, segue, no entanto, uma vertente menos algébrica que a teoria das Linguagens Regulares. De modo a fazer um paralelo mais algébrico entre as duas teorias, define-se o conceito de Álgebra de Estabilização que, de certo modo, generaliza o de Monóide de Estabilização.
Tomando este como o nosso principal objetivo, apresentaremos os principais conceitos e resultados desta teoria.