Banca de DEFESA: Gabriela de Souza Ferreira

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : Gabriela de Souza Ferreira
DATA : 21/10/2022
HORA: 09:00
LOCAL: Departamento de Matemática
TÍTULO:

Anti-Unificação Sintática, Comutativa e Associativa

PALAVRAS-CHAVES:

Anti-Unificação, Teoria Equacional, Associatividade, Comutatividade.

PÁGINAS: 140
RESUMO:

Esta dissertação apresenta um estudo detalhado do Problema de Anti-Unificação, investigado originalmente por Plotkin e Ploppestone 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 (ainda a ser definida 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 Anti-Unificação modulo Comutatividade (C) e Associatividade (A), isto é, quando o problema de anti-unificação considera as igualdades modulo C e modulo 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.

MEMBROS DA BANCA:
Interno - 1601562 - ALEX CARRAZEDO DANTAS
Externo à Instituição - DANIEL LIMA VENTURA
Presidente - 1151467 - DANIELE NANTES SOBRINHO
Interno - 2180096 - MAURICIO AYALA RINCON