Os problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitado
| Ano de defesa: | 2011 |
|---|---|
| Autor(a) principal: | |
| Orientador(a): | |
| Banca de defesa: | |
| Tipo de documento: | Tese |
| Tipo de acesso: | Acesso aberto |
| Idioma: | por |
| Instituição de defesa: |
Não Informado pela instituição
|
| 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: | http://repositorio.unb.br/handle/10482/8416 |
Resumo: | Tese (doutorado)-Universidade de Brasília, Instituto de Ciências Exatas , Brasília, 2011. |
| id |
UNB_f18c7fe26a550101e5a089fb6ee9307b |
|---|---|
| oai_identifier_str |
oai:repositorio.unb.br:10482/8416 |
| network_acronym_str |
UNB |
| network_name_str |
Repositório Institucional da UnB |
| repository_id_str |
|
| spelling |
Os problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitadoTeoria dos autômatosFunções (Matemática)Tese (doutorado)-Universidade de Brasília, Instituto de Ciências Exatas , Brasília, 2011.Neste 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. _________________________________________________________________________________ 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.Instituto de Ciências Exatas (IE)Departamento de Matemática (IE MAT)Programa de Pós-Graduação em MatemáticaSidki, Said NajatiZapata, Flávia Ferreira Ramos2011-06-17T15:21:00Z2011-06-17T15:21:00Z2011-06-172011-01-21info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfZAPATA, 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.http://repositorio.unb.br/handle/10482/8416info:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNB2025-02-28T18:09:48Zoai:repositorio.unb.br:10482/8416Repositório InstitucionalPUBhttps://repositorio.unb.br/oai/requestrepositorio@unb.bropendoar:2025-02-28T18:09:48Repositório Institucional da UnB - Universidade de Brasília (UnB)false |
| dc.title.none.fl_str_mv |
Os problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitado |
| title |
Os problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitado |
| spellingShingle |
Os problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitado Zapata, Flávia Ferreira Ramos Teoria dos autômatos Funções (Matemática) |
| title_short |
Os problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitado |
| title_full |
Os problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitado |
| title_fullStr |
Os problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitado |
| title_full_unstemmed |
Os problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitado |
| title_sort |
Os problemas da conjugação e da ordem para grupos gerados por autômatos de crescimento limitado |
| author |
Zapata, Flávia Ferreira Ramos |
| author_facet |
Zapata, Flávia Ferreira Ramos |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Sidki, Said Najati |
| dc.contributor.author.fl_str_mv |
Zapata, Flávia Ferreira Ramos |
| dc.subject.por.fl_str_mv |
Teoria dos autômatos Funções (Matemática) |
| topic |
Teoria dos autômatos Funções (Matemática) |
| description |
Tese (doutorado)-Universidade de Brasília, Instituto de Ciências Exatas , Brasília, 2011. |
| publishDate |
2011 |
| dc.date.none.fl_str_mv |
2011-06-17T15:21:00Z 2011-06-17T15:21:00Z 2011-06-17 2011-01-21 |
| dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
| dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
| format |
doctoralThesis |
| status_str |
publishedVersion |
| dc.identifier.uri.fl_str_mv |
ZAPATA, 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. http://repositorio.unb.br/handle/10482/8416 |
| identifier_str_mv |
ZAPATA, 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. |
| url |
http://repositorio.unb.br/handle/10482/8416 |
| dc.language.iso.fl_str_mv |
por |
| language |
por |
| dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UnB instname:Universidade de Brasília (UnB) instacron:UNB |
| instname_str |
Universidade de Brasília (UnB) |
| instacron_str |
UNB |
| institution |
UNB |
| reponame_str |
Repositório Institucional da UnB |
| collection |
Repositório Institucional da UnB |
| repository.name.fl_str_mv |
Repositório Institucional da UnB - Universidade de Brasília (UnB) |
| repository.mail.fl_str_mv |
repositorio@unb.br |
| _version_ |
1839083828249886720 |