Representação de sistemas dinâmicos simbólicos de memória finita usando grafos

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: Pedro Bezerra Chaves, Daniel
Orientador(a): José Lins Pimentel, Cecilio
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Pernambuco
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Link de acesso: https://repositorio.ufpe.br/handle/123456789/5478
Resumo: Nesta dissertação empregamos a teoria de dinâmica simbólica como ferramenta matemática para abordar o problema da representação de seqüências de símbolos que podem ser modeladas por sistemas dinâmicos simbólicos de memória finita. Utilizando teoria de autômatos, apresentamos novos algoritmos para gerar grafos determinísticos com número mínimo de vértices que apresentam a linguagem de um sistema dinâmico simbólico de memória finita. Para isto, definimos um novo método empregando fundamentos da teoria algébrica de linguagem pata determinar as classes da relação de equivalência ? de Myhill-Nerode sobre a linguagem do sistema dinâmico simbólico de memória finita. O método apresentado é estendido é estendido para sistemas dinâmicos simbólicos de memória finita periódicos que 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