Skip navigation
Use este identificador para citar ou linkar para este item: http://repositorio.unb.br/handle/10482/8416
Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
2011_FlaviaFerreiraRamosZapata.pdf720,28 kBAdobe PDFVisualizar/Abrir
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.advisorSidki, Said Najati-
dc.contributor.authorZapata, Flávia Ferreira Ramos-
dc.date.accessioned2011-06-17T15:21:00Z-
dc.date.available2011-06-17T15:21:00Z-
dc.date.issued2011-06-17-
dc.date.submitted2011-01-21-
dc.identifier.citationZAPATA, Flávia Ferreira Ramos. Os problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitado. 2011. 101 f. Tese (Doutorado em Matemática)-Universidade de Brasília, 2011.en
dc.identifier.urihttp://repositorio.unb.br/handle/10482/8416-
dc.descriptionTese (doutorado)-Universidade de Brasília, Instituto de Ciências Exatas , Brasília, 2011.en
dc.description.abstractNeste 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. _________________________________________________________________________________ ABSTRACTen
dc.description.abstractIn 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.en
dc.language.isoPortuguêsen
dc.rightsAcesso Abertoen
dc.titleOs problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitadoen
dc.typeTeseen
dc.subject.keywordTeoria dos autômatosen
dc.subject.keywordFunções (Matemática)en
Aparece nas coleções:Teses, dissertações e produtos pós-doutorado

Mostrar registro simples do item Visualizar estatísticas



Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.