Foi realizada na tarde desta quinta-feira (11/10), a primeira edição de 2018 do Seminário de Computação, com palestra do professor Rodrigo Souza sobre "Funções racionais multi-sequenciais". O evento, promovido pelo Departamento de Computação da UFRPE, foi realizado no auditório do Ceagri 2, a partir das 13h.

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.