Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Nantes Sobrinho, Daniele | - |
Autor(es): dc.creator | Ferreira, Gabriela de Souza | - |
Data de aceite: dc.date.accessioned | 2024-10-23T15:59:21Z | - |
Data de disponibilização: dc.date.available | 2024-10-23T15:59:21Z | - |
Data de envio: dc.date.issued | 2023-04-03 | - |
Data de envio: dc.date.issued | 2023-04-03 | - |
Data de envio: dc.date.issued | 2023-04-03 | - |
Data de envio: dc.date.issued | 2022-10-11 | - |
Fonte completa do material: dc.identifier | http://repositorio2.unb.br/jspui/handle/10482/45767 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/897187 | - |
Descrição: dc.description | Dissertação (mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2022. | - |
Descrição: dc.description | Esta dissertação apresenta um estudo detalhado do Problema de Anti-Unificação, investigado originalmente por Plotkin, Popplestone e Reynolds no início dos anos 70. Este problema consiste em encontrar um termo que mantém a maior estrutura comum entre dois outros termos dados. Isto é, dados s e t, o problema consiste em encontrar um terceiro termo r, que tem uma noção de maximalidade, tal que existam σ1 e σ2 tais que rσ1 = s e rσ2 = t. Tal termo r é chamado de generalizador menos geral de s e t. Neste trabalho investigaremos o Problema de Anti-Unificação Sintático, isto é, quando consideramos a igualdade sintática entre os termos; e também dos Problemas de AntiUnificação módulo Comutatividade (C) e Associatividade (A), isto é, quando o problema de anti-unificação considera as igualdades módulo C e módulo A, respectivamente. Em todos os casos, apresentamos um algoritmo para resolução do problema além de suas propriedades de terminação, correção e completude. A partir das propriedades de cada algoritmo, apresentaremos então as propriedades dos conjuntos de soluções de cada problema. | - |
Descrição: dc.description | Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES). | - |
Descrição: dc.description | This dissertation presents a detailed study of the Anti-Unification Problem, originally investigated by Plotkin, Popplestone and Reynolds in the early 70’s. This problem consists of finding a term that maintains the greatest common structure between two other given terms. That is, given s and t, the problem is to find a third term r, with a notion of maximality such that there are substitutions σ1 and σ2 such that rσ1 = s and rσ2 = t. Such a term r is called the least general generalizer of s and t. In this work we will investigate the Syntactic Anti-Unification Problem, that is, when we consider the syntactic equality between the terms; and also the Anti-Unification Problems modulo Commutativity (C) and Associativity (A), that is, when the anti-unification problem considers the equalities modulo C and modulo A, respectively. In all cases, we present an algorithm for solving the problem in addition to its termination, soundness and completeness properties. From the properties of each algorithm, we will then present the properties of the sets of solutions for each problem. | - |
Descrição: dc.description | Instituto de Ciências Exatas (IE) | - |
Descrição: dc.description | Departamento de Matemática (IE MAT) | - |
Descrição: dc.description | Programa de Pós-Graduação em Matemática | - |
Formato: dc.format | application/pdf | - |
Direitos: dc.rights | Acesso Aberto | - |
Direitos: dc.rights | A 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. | - |
Palavras-chave: dc.subject | Problema de antiunificação | - |
Palavras-chave: dc.subject | Teorias equacionais | - |
Palavras-chave: dc.subject | Associatividade | - |
Palavras-chave: dc.subject | Comutatividade | - |
Título: dc.title | Syntactic, commutative and associative anti-unification | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositório Institucional – UNB |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: