Autômatos sincronizados e a Conjectura de Cerný
Autor(a) principal: | |
---|---|
Data de Publicação: | 2013 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da USP |
Texto Completo: | http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28082013-101244/ |
Resumo: | Cerný, em 1964, conjecturou que um autômato sincronizado com n estados possui uma palavra sincronizadora mínima de tamanho no máximo (n-1)². Esta conjectura permanece em aberto. Neste trabalho são apresentados algoritmos para obter palavras sincronizadoras e é feito um experimento comparativo entre os resultados obtidos por estes algoritmos em relação a algumas séries infinitas de autômatos. Por fim, é feito um breve histórico sobre os resultados parciais obtidos até a presente data e alguns destes trabalhos são apresentados em mais detalhes. |
id |
USP_fd2c5b00338e88371222bf5771a8c27e |
---|---|
oai_identifier_str |
oai:teses.usp.br:tde-28082013-101244 |
network_acronym_str |
USP |
network_name_str |
Biblioteca Digital de Teses e Dissertações da USP |
repository_id_str |
2721 |
spelling |
Autômatos sincronizados e a Conjectura de CernýSynchronizing Automata and the Cerný Conjectureautômato sincronizadoCerný ConjectureConjectura de Cernýpalavra sincronizadorareset wordsshortest reset word.sincronização.synchronizing automataCerný, em 1964, conjecturou que um autômato sincronizado com n estados possui uma palavra sincronizadora mínima de tamanho no máximo (n-1)². Esta conjectura permanece em aberto. Neste trabalho são apresentados algoritmos para obter palavras sincronizadoras e é feito um experimento comparativo entre os resultados obtidos por estes algoritmos em relação a algumas séries infinitas de autômatos. Por fim, é feito um breve histórico sobre os resultados parciais obtidos até a presente data e alguns destes trabalhos são apresentados em mais detalhes.Cerný, on 1964, conjectured that a synchronizing automata with n states has a synchronizing word of size at most (n-1)². The conjecture remains open. We show some algorithms for obtaining synchronizing sequences and a comparative experiment between these algorithms with respect to some infinite series of automata. Furthermore, we briefly survey some of the partial results obtained until the present day.Biblioteca Digitais de Teses e Dissertações da USPMandel, ArnaldoGindri, Leticia2013-07-10info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://www.teses.usp.br/teses/disponiveis/45/45134/tde-28082013-101244/reponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USPLiberar o conteúdo para acesso público.info:eu-repo/semantics/openAccesspor2016-07-28T16:10:36Zoai:teses.usp.br:tde-28082013-101244Biblioteca Digital de Teses e Dissertaçõeshttp://www.teses.usp.br/PUBhttp://www.teses.usp.br/cgi-bin/mtd2br.plvirginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.bropendoar:27212016-07-28T16:10:36Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false |
dc.title.none.fl_str_mv |
Autômatos sincronizados e a Conjectura de Cerný Synchronizing Automata and the Cerný Conjecture |
title |
Autômatos sincronizados e a Conjectura de Cerný |
spellingShingle |
Autômatos sincronizados e a Conjectura de Cerný Gindri, Leticia autômato sincronizado Cerný Conjecture Conjectura de Cerný palavra sincronizadora reset words shortest reset word. sincronização. synchronizing automata |
title_short |
Autômatos sincronizados e a Conjectura de Cerný |
title_full |
Autômatos sincronizados e a Conjectura de Cerný |
title_fullStr |
Autômatos sincronizados e a Conjectura de Cerný |
title_full_unstemmed |
Autômatos sincronizados e a Conjectura de Cerný |
title_sort |
Autômatos sincronizados e a Conjectura de Cerný |
author |
Gindri, Leticia |
author_facet |
Gindri, Leticia |
author_role |
author |
dc.contributor.none.fl_str_mv |
Mandel, Arnaldo |
dc.contributor.author.fl_str_mv |
Gindri, Leticia |
dc.subject.por.fl_str_mv |
autômato sincronizado Cerný Conjecture Conjectura de Cerný palavra sincronizadora reset words shortest reset word. sincronização. synchronizing automata |
topic |
autômato sincronizado Cerný Conjecture Conjectura de Cerný palavra sincronizadora reset words shortest reset word. sincronização. synchronizing automata |
description |
Cerný, em 1964, conjecturou que um autômato sincronizado com n estados possui uma palavra sincronizadora mínima de tamanho no máximo (n-1)². Esta conjectura permanece em aberto. Neste trabalho são apresentados algoritmos para obter palavras sincronizadoras e é feito um experimento comparativo entre os resultados obtidos por estes algoritmos em relação a algumas séries infinitas de autômatos. Por fim, é feito um breve histórico sobre os resultados parciais obtidos até a presente data e alguns destes trabalhos são apresentados em mais detalhes. |
publishDate |
2013 |
dc.date.none.fl_str_mv |
2013-07-10 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28082013-101244/ |
url |
http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28082013-101244/ |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
|
dc.rights.driver.fl_str_mv |
Liberar o conteúdo para acesso público. info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Liberar o conteúdo para acesso público. |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.coverage.none.fl_str_mv |
|
dc.publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
publisher.none.fl_str_mv |
Biblioteca Digitais de Teses e Dissertações da USP |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da USP instname:Universidade de São Paulo (USP) instacron:USP |
instname_str |
Universidade de São Paulo (USP) |
instacron_str |
USP |
institution |
USP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da USP |
collection |
Biblioteca Digital de Teses e Dissertações da USP |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP) |
repository.mail.fl_str_mv |
virginia@if.usp.br|| atendimento@aguia.usp.br||virginia@if.usp.br |
_version_ |
1809091155770474496 |