62 citations · 125 across the 8 of their papers we have counts for
8 papers
Proceedings of the 16th International Workshop on Non-Classical Models of Automata and Applications
Cezar Câmpeanu, Martin Kutrib, Sylvain Lombardy
The Sixteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2026) was held in Rouen, France, on June 29 and 30, 2026, organized by the Universit…
Morphisms and minimisation of weighted automata
Sylvain Lombardy, Jacques Sakarovitch
This paper studies the algorithms for the minimisation of weighted automata. It starts with the definition of morphisms-which generalises and unifies the notion of bisimulation to…
Derived terms without derivation a shifted perspective on the derived-term automaton
Sylvain Lombardy, Jacques Sakarovitch
We present here a construction for the derived term automaton (aka partial derivative, or Antimirov, automaton) of a rational (or regular) expression based on a sole induction on t…
Unambiguous separators for tropical tree automata
Thomas Colcombet, Sylvain Lombardy
In this paper we show that given a max-plus automaton (over trees, and with real weights) computing a function and a min-plus automaton (similar) computing a function such…
On Determinism and Unambiguity of Weighted Two-way Automata
Vincent Carnino, Sylvain Lombardy
In this paper, we first study the conversion of weighted two-way automata to one-way automata. We show that this conversion preserves the unambiguity but does not preserve the dete…
On the Finiteness Problem for Automaton (Semi)groups
Ali Akhavi, Ines Klimann, Sylvain Lombardy +2
This paper addresses a decision problem highlighted by Grigorchuk, Nekrashevich, and Sushchanskii, namely the finiteness problem for automaton (semi)groups. For semigroups, we give…