Álgebras de estabilização e funções de custo
14/07/2016 Dept. Matemática - FCUL, 14:30, sala 6.2.38
Bernardo Fernandes (CEMAT-Ciências)
Faculty of Sciences, University of Lisbon
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 aspectos, 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 objectivo, apresentaremos os principais conceitos e resultados desta teoria.
|
