O problema da ω-palavra para pseudovariedades de semigrupos

Detalhes bibliográficos
Autor(a) principal: Nogueira, Conceição Veloso
Data de Publicação: 2006
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/1822/6398
Resumo: Mestrado Matemática
id RCAP_96df88d236705cb338c6ddc294383da9
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/6398
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling O problema da ω-palavra para pseudovariedades de semigrupos512.53Mestrado MatemáticaA teoria de semigrupos começou, de certa forma, com um resultado sobre semigrupos finitos: o Teorema de Suschekewitsch de 1928 descrevendo a estrutura dos semigrupos finitos sem ideais próprios. Nos anos 50, o desenvolvimento da teoria dos autómatos finitos trouxe motivação nova para o estudo de semigrupos finitos. No entanto, só desde os anos 70 é que esta teoria tem obtido cada vez mais atenção por parte dos investigadores sendo notório o seu crescimento. Desde meados dos anos 60 surgiu a questão de como calcular a complexidade de um semigrupo finito S, questão esta, que quarenta anos volvidos continua a ser a principal motivação para muitos trabalhos sobre semigrupos finitos. O problema da decidibilidade para determinadas pseudovariedades é outro que continua a ocupar os investigadores. Neste trabalho de síntese apresenta-se um pequeno estudo sobre o problema da ω-palavra para as pseudovariedades Sl, N, K, D, LI, J e LSl. É ainda referida uma solução para o problema da ω-palavra sobre R, o qual se provou recentemente ser decidível [13]. O problema da ω-palavra é o de decidir, para uma pseudovariedade e duas ω-palavras dadas, se a pseudovariedade verifica a igualdade das ω-palavras. Um dos principais motivos de interesse deste estudo está relacionado com o facto de o problema da ω-palavra ser decidível para V poder aparecer como uma das condições necessárias para que a pseudovariedade V seja mansa. A noção de mansidão foi introduzida recentemente numa tentativa de definir propriedades mais fortes do que a decidibilidade que pudessem ser úteis para provar a decidibilidade de pseudovariedades definidas por operadores, tais como produto semidirecto, supremo, produto de Mal’cev, etc.In a way, the semigroup theory started with a result about finite semigroup: the 1928 Suschekewitsch’s theorem, describing the structure of finite semigroups without proper ideals. On the 50’s, the development of the finite automata theory brought a new motivation for the study of finite semigroups. However, it’s only since the 70’s that this theory has obtained more and more attention from researchers experiencing a notable growth. The question of how to calculate the complexity of a finite semigroup S has emerged in the midle 60’s, question that even after forty years, is still the main motivation for many works about finite semigroups. The decidability problem for some pseudovarieties is another problem that still occupies researchers. In this synthesis work is presented a small study about the ω-word problem in the pseudovarieties Sl, N, K, D, LI, J e LSl. It’s also referred a solution of the ω-word problem over R, which has been recently proved as being decidable [13]. The ω-word problem is the problem of deciding, for a pseudovariety and two given ω-terms, if the pseudovariety verifies the equality of the ω-terms. One of the main interests of this study is related with the fact that the ω-word problem being decidable in V may appear as one of the necessary conditions for the pseudovariety V to be tame. The notion of tameness has recently emerged as a tentative of defining stronger properties others than decidability that could be useful to prove the decidability of pseudovarieties defined by operators, such as the semidirect product, join, Mal’cev product, etc.Costa, José Carlos Cruz daUniversidade do MinhoNogueira, Conceição Veloso2006-07-212006-07-21T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/1822/6398porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-21T11:53:57Zoai:repositorium.sdum.uminho.pt:1822/6398Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T18:43:24.340778Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv O problema da ω-palavra para pseudovariedades de semigrupos
title O problema da ω-palavra para pseudovariedades de semigrupos
spellingShingle O problema da ω-palavra para pseudovariedades de semigrupos
Nogueira, Conceição Veloso
512.53
title_short O problema da ω-palavra para pseudovariedades de semigrupos
title_full O problema da ω-palavra para pseudovariedades de semigrupos
title_fullStr O problema da ω-palavra para pseudovariedades de semigrupos
title_full_unstemmed O problema da ω-palavra para pseudovariedades de semigrupos
title_sort O problema da ω-palavra para pseudovariedades de semigrupos
author Nogueira, Conceição Veloso
author_facet Nogueira, Conceição Veloso
author_role author
dc.contributor.none.fl_str_mv Costa, José Carlos Cruz da
Universidade do Minho
dc.contributor.author.fl_str_mv Nogueira, Conceição Veloso
dc.subject.por.fl_str_mv 512.53
topic 512.53
description Mestrado Matemática
publishDate 2006
dc.date.none.fl_str_mv 2006-07-21
2006-07-21T00:00:00Z
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://hdl.handle.net/1822/6398
url http://hdl.handle.net/1822/6398
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 Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132180242235392

Registros relacionados