{"id":{"repo_id":"brazil-ufpe","oai_identifier":"oai:repositorio.ufpe.br:123456789/5478"},"canonical_url":"https://search.dev.ndltd.org/etd/brazil-ufpe/oai:repositorio.ufpe.br:123456789/5478","repository":{"repo_id":"brazil-ufpe","name":"Brazil UFPE","base_url":"https://repositorio.ufpe.br/oai/request"},"display":{"title":"Representação de sistemas dinâmicos simbólicos de memória finita usando grafos","abstract":"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","abstract_html":"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","abstract_has_math":false,"creators":["Pedro Bezerra Chaves, Daniel"],"institution":"Universidade Federal de Pernambuco","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["José Lins Pimentel, Cecilio"],"committee_chairs":[],"committee_members":[],"year":2006,"date_issued":"2006","date_published":"2006","updated_at":"2026-07-24T01:19:12Z","subjects":["Dinâmica simbólica","Grafos direcionados","Autômato"],"languages":["por"],"rights":["openAccess","Attribution-NonCommercial-NoDerivs 3.0 Brazil"],"rights_urls":["http://creativecommons.org/licenses/by-nc-nd/3.0/br/"],"identifier_entries":[]},"links":{"outbound_url":"https://repositorio.ufpe.br/handle/123456789/5478","outbound_label":"Repository record","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["José Lins Pimentel, Cecilio"]},{"key":"dc:creator","label":"Author","values":["Pedro Bezerra Chaves, Daniel"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2014-06-12T17:39:48Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2014-06-12T17:39:48Z"]},{"key":"dc:date.issued","label":"Date","values":["2006"]},{"key":"dc:publisher","label":"Institution","values":["Universidade Federal de Pernambuco"]},{"key":"dc:type","label":"Dc Type","values":["masterThesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Dinâmica simbólica","Grafos direcionados","Autômato"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["por"]},{"key":"dc:rights","label":"Dc Rights","values":["openAccess","Attribution-NonCommercial-NoDerivs 3.0 Brazil"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://creativecommons.org/licenses/by-nc-nd/3.0/br/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://repositorio.ufpe.br/handle/123456789/5478"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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"]},{"key":"dc:title","label":"Title","values":["Representação de sistemas dinâmicos simbólicos de memória finita usando grafos"]}]}],"canonical_facts":{"dc:contributor.advisor":["José Lins Pimentel, Cecilio"],"dc:creator":["Pedro Bezerra Chaves, Daniel"],"dc:date.accessioned":["2014-06-12T17:39:48Z"],"dc:date.available":["2014-06-12T17:39:48Z"],"dc:date.issued":["2006"],"dc:description.abstract":["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"],"dc:identifier.uri":["https://repositorio.ufpe.br/handle/123456789/5478"],"dc:language.iso":["por"],"dc:publisher":["Universidade Federal de Pernambuco"],"dc:rights":["openAccess","Attribution-NonCommercial-NoDerivs 3.0 Brazil"],"dc:rights.uri":["http://creativecommons.org/licenses/by-nc-nd/3.0/br/"],"dc:subject":["Dinâmica simbólica","Grafos direcionados","Autômato"],"dc:title":["Representação de sistemas dinâmicos simbólicos de memória finita usando grafos"],"dc:type":["masterThesis"]},"updated_at":"2026-07-24T01:19:12Z"}