Representacao de Sistemas Dinamicos Fechados de Memoria Finita com Restricoes Periodicas

Sistemas dinâmicos simbólicos de memória finita com restrições periódicas (PFT, do inglês periodic shift of finite type) formam a classe (na teoria de dinâmica simbólica) utilizada para modelar conjuntos de seqüências com restrição empregadas tanto para correção de erros quanto para codificação de linha. Neste trabalho a teoria de dinâmica simbólica é empregada como ferramenta matemática para abordar o problema da representação de seqüências de símbolos que podem ser modeladas como PFTs. Utilizando a teoria algébrica de linguagens, apresentaremos um novo procedimento para gerar grafos determinísticos com um número mínimo de vértices que apresentam a linguagem de um PFT irredutível.