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. |