5 citations · 5 across the 4 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2016
Derived-Term Automata of Multitape Rational Expressions (Long version)
Akim Demaille
We introduce (weighted) rational expressions to denote series over Cartesian products of monoids. To this end, we propose the operator to build multitape expressions such as $(…
cs.FL2016
Derived-term Automata for Extended Weighted Rational Expressions
Akim Demaille
We present an algorithm to build an automaton from a rational expression. This approach introduces support for extended weighted expressions. Inspired by derived-term based algorit…