Propriedades de -subconjuntos reconheciveis de um monoide livre

Detalhes bibliográficos
Autor(a) principal: Nami Kobayashi
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://doi.org/10.11606/T.45.1992.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 info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesis Propriedades de -subconjuntos reconheciveis de um monoide livre not available 1992-04-13Imre SimonNami KobayashiUniversidade de São PauloMatemática AplicadaUSPBR Ciência Da Computação 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 not available https://doi.org/10.11606/T.45.1992.tde-20210729-003555info:eu-repo/semantics/openAccessporreponame:Biblioteca Digital de Teses e Dissertações da USPinstname:Universidade de São Paulo (USP)instacron:USP2023-12-21T19:40: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:27212023-12-22T13:02:03.982246Biblioteca Digital de Teses e Dissertações da USP - Universidade de São Paulo (USP)false
dc.title.pt.fl_str_mv Propriedades de -subconjuntos reconheciveis de um monoide livre
dc.title.alternative.en.fl_str_mv not available
title Propriedades de -subconjuntos reconheciveis de um monoide livre
spellingShingle Propriedades de -subconjuntos reconheciveis de um monoide livre
Nami Kobayashi
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 Nami Kobayashi
author_facet Nami Kobayashi
author_role author
dc.contributor.advisor1.fl_str_mv Imre Simon
dc.contributor.author.fl_str_mv Nami Kobayashi
contributor_str_mv Imre Simon
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.issued.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://doi.org/10.11606/T.45.1992.tde-20210729-003555
url https://doi.org/10.11606/T.45.1992.tde-20210729-003555
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.publisher.none.fl_str_mv Universidade de São Paulo
dc.publisher.program.fl_str_mv Matemática Aplicada
dc.publisher.initials.fl_str_mv USP
dc.publisher.country.fl_str_mv BR
publisher.none.fl_str_mv Universidade de São Paulo
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_ 1794502920919580672

Registros relacionados