Made available in DSpace on 2014-06-12T17:39:48Z (GMT). No. of bitstreams: 1
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2006 / 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
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/5478 |
Date | January 2006 |
Creators | Pedro Bezerra Chaves, Daniel |
Contributors | José Lins Pimentel, Cecilio |
Publisher | Universidade Federal de Pernambuco |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0011 seconds