Sobre as funções racionais multi-sequenciais

  • Rodrigo de Souza

Resumo


Funções multi-sequenciais foram introduzidas por Choffrut e Schu¨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. Nesta comunicação estudamos as 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.

Publicado
26/07/2018
DE SOUZA, Rodrigo. Sobre as funções racionais multi-sequenciais. In: ENCONTRO DE TEORIA DA COMPUTAÇÃO (ETC), 3. , 2018, Natal. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2018 . ISSN 2595-6116. DOI: https://doi.org/10.5753/etc.2018.3175.