2 papers
cs.FL2026
Minimizing Streaming String Transducers: An algebraic approach
Yahia Idriss Benalioua, Nathan Lhote, Pierre-Alain Reynier
In this work, we study minimization of rational functions given as appending streaming string transducers (aSST for short). We rely on an algebraic presentation of these functions,…
cs.FL2024
Minimizing Cost Register Automata over a Field
Yahia Idriss Benalioua, Nathan Lhote, Pierre-Alain Reynier
Weighted automata (WA) are an extension of finite automata that define functions from words to values in a given semiring. An alternative deterministic model, called Cost Register…