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 alguns exemplos de aplicação desta ideia na extracção de informação sobre a estrutura dos semigrupos e dos semigrupóides profinitos livres, e sobre as classes de conjugação de sistemas dinâmicos simbólicos.