Álgebras de Estabilização

Neste seminário vamos explorar uma generalização da teoria algébrica das Linguagens Formais. Tendo os trabalhos de Thomas Colcombet e Laure Daviaud, Denis Kuperberg e Jean Éric Pin sobre funções de custo como ponto de partida, introduzimos o conceito de Ideal de Ordem, Álgebra de Estabilização e Autómato de Estabilização. Obtemos generalizações de resultados conhecidos no âmbito das Linguagens Formais, como por exemplo: o Teorema de Eilenberg, o Teorema de Schützenberger sobre identidades associadas a variedades, e uma resposta ao Problema da Igualdade.