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)