Defesa de Qualificação de Mestrado: Pedro Rocha Muniz
Título: No poder expressivo de FO[N] e suas relações com linguagens formais.
Data: 19/04/2018
Horário: 08:00h
Local: Hall do Centro de Ciências - Bloco 902
Resumo:
Encontrar caracterizações lógicas para classes de linguagens relevantes é um assunto que possui resultados que datam 1960, quando Buchi provou que a classe de linguagens regulares pode ser caracterizada com lógica de segunda ordem monádica. Tais estudos possuem interesse prático, pois descrições lógicas de uma classe de linguagens normalmente nos leva a uma precisa estimação da complexidade do problema de pertinência além de outros problemas relacionados àquela classe. O foco de minha pesquisa será estudar o poder expressivo da lógica de primeira ordem estendida por operadores numéricos (FO[N]) relacionando-a às linguagens formais.
Banca:
- Prof.ª Dr.ª Ana Teresa de Castro Martins (MDCC/UFC - Orientadora)
- Prof. Dr. Francicleber Martins Ferreira (UFC)
- Prof. Dr. Davi Romero de Vasconcelos (UFC)
- Prof. Dr. João Fernando de Lima Alcântara (MDCC/UFC)