O Departamento de Computação (DC) da UFRPE realiza, na próxima quinta-feira (11/10), às 13h00, sua primeira edição 2018 do Seminário de Computação. Nesta edição, o Prof. Rodrigo Souza (DC-UFRPE) ministra a palestra sobre as funções racionais multi-sequenciais.
Dados do evento:
Data: 11/10/2018
Hora: 13:00
Local: CEAGRI 2 - Auditório
Palestrante: Prof. Rodrigo Souza (DC-UFRPE)
Título: Sobre as funções racionais multi-sequenciais
Resumo: Funções multi-sequenciais foram introduzidas por Choffrut e Schützenberger como a família das funções racionais cujo gráfico é uma união finita de funções sequenciais. Recentemente, Jeckert e Filiot mostraram que é decidível em tempo polinomial se uma função racional é multi-sequencial. Nosso interesse está nas funções que são uma união de k funções sequenciais, para um inteiro fixo k. Apresentamos três caracterizações dessas funções, que recordam resultados clássicos sobre as relações racionais.