Semigrupos Profinitos e Dinâmica Simbólica

Os sistemas dinâmicos simbólicos podem ser encarados como sendo as linguagens factoriais prolongáveis. Jorge Almeida propôs que se estudasse o fecho topológico, no semigrupo profinito livre, da linguagem associada a um sistema dinâmico simbólico. Este fecho não conduz a uma perda de informação sobre o sistema dinâmico. Veremos como deste modo Jorge Almeida e Alfredo Costa extraíram informação nova sobre a estrutura dos semigrupos e dos semigrupóides profinitos livres, e sobre as classes de conjugação dos sistemas dinâmicos simbólicos, em especial os minimais e os sóficos.