Events > CEMAT's Open Seminar

Álgebras de Estabilização

20/04/2018 20 abril - 15:30 - 6.2.33 
Bernardo Fernandes (CEMAT-Ciências)
Faculty of Sciences, University of Lisbon

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.