Skip navigation
Use este identificador para citar ou linkar para este item: http://repositorio.unb.br/handle/10482/49595
Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
GuilhermeBorgesBrandao_DISSERT.pdf414,57 kBAdobe PDFVisualizar/Abrir
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.advisorNantes Sobrinho, Daniele-
dc.contributor.authorBrandão, Guilherme Borges-
dc.date.accessioned2024-08-06T19:08:26Z-
dc.date.available2024-08-06T19:08:26Z-
dc.date.issued2024-08-06-
dc.date.submitted2024-03-06-
dc.identifier.citationBRANDÃO, Guilherme Borges. A detailed study of bounded ACh-unification. 2024. 76 f., il. Dissertação (Mestrado em Matemática) — Universidade de Brasília, Brasília, 2024.pt_BR
dc.identifier.urihttp://repositorio2.unb.br/jspui/handle/10482/49595-
dc.descriptionDissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2024.pt_BR
dc.description.abstractEsta dissertação trata do problema de unificação considerando a teoria equacional ACh, que consiste da teoria com um símbolo de função h que é homomorfismo sobre um operador associativo-comutativo. O problema de unificação módulo ACh busca em resolver equações do tipo s ?=ACh t, para termos de primeira ordem s e t, encontrando uma substituição θ que faz com que ambos os termos quando instanciados por esta substituição sejam iguais módulo ACh, i.e., tal que sθ =ACh tθ. Em geral, o problema de unificação módulo ACh é indecidível. Recentemente, Eeralla e Lynch definiram uma variação do problema chamada ACh-unificação com limitante que dá como entrada um limite na quantidade de símbolos de função de homomorfismo que são aplicados repetidamente, permitindo apenas soluções que não ultrapassem esse limite. Nosso objetivo é fornecer um estudo detalhado em ACh-unificação com limitantes, examinando cuidadosamente o algoritmo proposto para resolver o problema e verificando a prova de terminação, correção e completude.pt_BR
dc.language.isoengpt_BR
dc.rightsAcesso Abertopt_BR
dc.titleA detailed study of bounded ACh-unificationpt_BR
dc.typeDissertaçãopt_BR
dc.subject.keywordTeorias equacionaispt_BR
dc.subject.keywordAssociatividadept_BR
dc.subject.keywordComutatividadept_BR
dc.rights.licenseA concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data.pt_BR
dc.description.abstract1This master’s thesis deals with the unification problem regarding the equational theory ACh, which consists of the theory with a function symbol h that is an homomorphism over an associative-commutative operator. The Unification problem modulo ACh seeks to solve equations of the type s ?=ACh t, for first-order terms s and t, finding a substitution θ that makes both terms, when instantiated by this substitution, equal modulo ACh, i.e., such that sθ =ACh tθ. In general, the problem of ACh Unification is undecidable. Recently, Eeralla and Lynch defined a variation of the problem called Bounded ACh Unification, which gives as an input a bound on the number of homomorphism function symbols that are applied repeatedly, allowing only solutions that do not surpass such bound. Our goal is to provide a detailed study of Bounded ACh Unification by carefully examining the algorithm designed to solve the problem and validating the proof of termination, soundness and completeness.pt_BR
dc.description.unidadeInstituto de Ciências Exatas (IE)pt_BR
dc.description.unidadeDepartamento de Matemática (IE MAT)pt_BR
dc.description.ppgPrograma de Pós-Graduação em Matemáticapt_BR
Aparece nas coleções:Teses, dissertações e produtos pós-doutorado

Mostrar registro simples do item Visualizar estatísticas



Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.