Showing 2020Show all
2 papers · 1 filter
cs.FL2020
On the Use of Quasiorders in Formal Language Theory
Pedro Valero
In this thesis we use quasiorders on words to offer a new perspective on two well-studied problems from Formal Language Theory: deciding language inclusion and manipulating the fin…
cs.FL2020
A Quasiorder-based Perspective on Residual Automata
Pierre Ganty, Elena Gutiérrez, Pedro Valero
In this work, we define a framework of automata constructions based on quasiorders over words to provide new insights on the class of residual automata. We present a new residualiz…