2 papers
cs.FL2021
Second-Order Finite Automata
Alexsander Andrade de Melo, Mateus de Oliveira Oliveira
Traditionally, finite automata theory has been used as a framework for the representation of possibly infinite sets of strings. In this work, we introduce the notion of second-orde…
cs.LO2021
On the Width of Regular Classes of Finite Structures
Alexsander Andrade de Melo, Mateus de Oliveira Oliveira
In this work, we introduce the notion of decisional width of a finite relational structure and the notion of decisional width of a regular class of finite structures. Our main resu…