3 papers
cs.FL2021
A Congruence-Based Perspective on Finite Tree Automata
Pierre Ganty, Elena Gutiérrez, Pedro Valero
We provide new insights on the determinization and minimization of tree automata using congruences on trees. From this perspective, we study a Brzozowski's style minimization algor…
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…
cs.NE2020
Genetic Algorithm for the Weight Maximization Problem on Weighted Automata
Elena Gutiérrez, Takamasa Okudono, Masaki Waga +1
The weight maximization problem (WMP) is the problem of finding the word of highest weight on a weighted finite state automaton (WFA). It is an essential question that emerges in m…