Propriedades de -subconjuntos reconheciveis de um monoide livre

Detalhes bibliográficos
Autor(a) principal: Kobayashi, Nami
Data de Publicação: 1992
Tipo de documento: Tese
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
Texto Completo: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-003555/
Resumo: Estudamos algumas propriedades de m-subconjuntos reconheciveis de um monoide livre a*, onde m denota o semi-anel tropical e de duas de suas subfamilias: a dos m-subconjuntos simples e a dos m-subconjuntos que sao complexidades nao deterministicas. Inicialmente, estudamos algumas condicoes necessarias de pertinencia a cada uma dessas familias e mostramos que a familia dos m-subconjuntos que sao complexidades nao deterministicas esta contida propriamente na familia dos simples que esta contida propriamente na familia de todos os m-subconjuntos reconheciveis. Estudamos tambem as propriedades de fechamento das tres familias sob varias operacoes. Os resultados principais nesta tese sao que a familia de todos os m-subconjuntos reconheciveis e fechada sob a divisao por um inteiro positivo e uma caracterizacao para os m-subconjuntos reconheciveis, mostrando que um m-subconjunto de 'A POT+' e reconhecivel se, e somente se, ele e a soma de um numero finito de m-subconjuntos simples de 'A POT+'. Mostramos ainda que todo m-subconjuntos simples pode ser obtido apartir de m-subconjuntos que sao complexidades nao deterministicas, utilizando as operacoes de minimo, concatenacao e estrela
id USP_bd227393a50b85d1262aeb68f32b1bbb
oai_identifier_str oai:teses.usp.br:tde-20210729-003555
network_acronym_str USP
network_name_str Biblioteca Digital de Teses e Dissertações da USP
repository_id_str 2721
spelling Propriedades de -subconjuntos reconheciveis de um monoide livrenot availableCiência Da ComputaçãoEstudamos algumas propriedades de m-subconjuntos reconheciveis de um monoide livre a*, onde m denota o semi-anel tropical e de duas de suas subfamilias: a dos m-subconjuntos simples e a dos m-subconjuntos que sao complexidades nao deterministicas. Inicialmente, estudamos algumas condicoes necessarias de pertinencia a cada uma dessas familias e mostramos que a familia dos m-subconjuntos que sao complexidades nao deterministicas esta contida propriamente na familia dos simples que esta contida propriamente na familia de todos os m-subconjuntos reconheciveis. Estudamos tambem as propriedades de fechamento das tres familias sob varias operacoes. Os resultados principais nesta tese sao que a familia de todos os m-subconjuntos reconheciveis e fechada sob a divisao por um inteiro positivo e uma caracterizacao para os m-subconjuntos reconheciveis, mostrando que um m-subconjunto de 'A POT+' e reconhecivel se, e somente se, ele e a soma de um numero finito de m-subconjuntos simples de 'A POT+'. Mostramos ainda que todo m-subconjuntos simples pode ser obtido apartir de m-subconjuntos que sao complexidades nao deterministicas, utilizando as operacoes de minimo, concatenacao e estrelanot availableBiblioteca Digitais de Teses e Dissertações da USPSimon, ImreKobayashi, Nami1992-04-13info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-003555/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/openAccesspor2021-07-31T18:54:13Zoai:teses.usp.br:tde-20210729-003555Biblioteca 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:27212021-07-31T18:54:13Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Propriedades de -subconjuntos reconheciveis de um monoide livre
not available
title Propriedades de -subconjuntos reconheciveis de um monoide livre
spellingShingle Propriedades de -subconjuntos reconheciveis de um monoide livre
Kobayashi, Nami
Ciência Da Computação
title_short Propriedades de -subconjuntos reconheciveis de um monoide livre
title_full Propriedades de -subconjuntos reconheciveis de um monoide livre
title_fullStr Propriedades de -subconjuntos reconheciveis de um monoide livre
title_full_unstemmed Propriedades de -subconjuntos reconheciveis de um monoide livre
title_sort Propriedades de -subconjuntos reconheciveis de um monoide livre
author Kobayashi, Nami
author_facet Kobayashi, Nami
author_role author
dc.contributor.none.fl_str_mv Simon, Imre
dc.contributor.author.fl_str_mv Kobayashi, Nami
dc.subject.por.fl_str_mv Ciência Da Computação
topic Ciência Da Computação
description Estudamos algumas propriedades de m-subconjuntos reconheciveis de um monoide livre a*, onde m denota o semi-anel tropical e de duas de suas subfamilias: a dos m-subconjuntos simples e a dos m-subconjuntos que sao complexidades nao deterministicas. Inicialmente, estudamos algumas condicoes necessarias de pertinencia a cada uma dessas familias e mostramos que a familia dos m-subconjuntos que sao complexidades nao deterministicas esta contida propriamente na familia dos simples que esta contida propriamente na familia de todos os m-subconjuntos reconheciveis. Estudamos tambem as propriedades de fechamento das tres familias sob varias operacoes. Os resultados principais nesta tese sao que a familia de todos os m-subconjuntos reconheciveis e fechada sob a divisao por um inteiro positivo e uma caracterizacao para os m-subconjuntos reconheciveis, mostrando que um m-subconjunto de 'A POT+' e reconhecivel se, e somente se, ele e a soma de um numero finito de m-subconjuntos simples de 'A POT+'. Mostramos ainda que todo m-subconjuntos simples pode ser obtido apartir de m-subconjuntos que sao complexidades nao deterministicas, utilizando as operacoes de minimo, concatenacao e estrela
publishDate 1992
dc.date.none.fl_str_mv 1992-04-13
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 https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-003555/
url https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-003555/
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_ 1809090925581828096

Registros relacionados