Os problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitado

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorSidki, Said Najati-
Autor(es): dc.creatorZapata, Flávia Ferreira Ramos-
Data de aceite: dc.date.accessioned2021-10-14T18:44:17Z-
Data de disponibilização: dc.date.available2021-10-14T18:44:17Z-
Data de envio: dc.date.issued2011-06-17-
Data de envio: dc.date.issued2011-06-17-
Data de envio: dc.date.issued2011-06-17-
Data de envio: dc.date.issued2011-01-21-
Fonte completa do material: dc.identifierhttp://repositorio.unb.br/handle/10482/8416-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/638782-
Descrição: dc.descriptionTese (doutorado)-Universidade de Brasília, Instituto de Ciências Exatas , Brasília, 2011.-
Descrição: dc.descriptionNeste trabalho, estudamos os problemas da conjugação e da ordem no grupo dos automorfismos A da árvore regular enraizada T e no seu subgrupo Af dos automorfismos de finitos estados. Mostramos que estes dois problemas são decidíveis sob as condições de contração e de finitude sobre o que chamamos de sinalizadores de órbita, e em particular, eles são decidíveis no grupo dos autômatos limitados. Para o problema da ordem um procedimento é desenvolvido em termos de um grafo finito o qual é construtível. Dois procedimentos diferentes foram desenvolvidos para a conjugação no grupo dos autômatos limitados e estes produzem um conjugador quando os automorfismos são conjugados. _________________________________________________________________________________ ABSTRACT-
Descrição: dc.descriptionIn the present work, we study the order and conjugacy problems in the automorphism group A of the regular rooted tree T and in its subgroup Af of finite-state automorphisms. We show that both problems are decidable under the contracting condition and the finiteness of what we call the orbit-signalizer and in particular they are decidable in the group of bounded automata. For the order problem a procedure is developed in terms of a finite graph which is constructible. Two different procedures for conjugation in the group of bounded automata were developed and they produce a conjugator when the automorphisms are conjugate.-
Formato: dc.formatapplication/pdf-
Direitos: dc.rightsAcesso Aberto-
Palavras-chave: dc.subjectTeoria dos autômatos-
Palavras-chave: dc.subjectFunções (Matemática)-
Título: dc.titleOs problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitado-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Institucional – UNB

Não existem arquivos associados a este item.