The Vcsn team is happy to announce that the following paper was
accepted to the 14th International Colloquium on Theoretical Aspects
of Computing (ICTAC 2017), to be held in 23-27 October 2017 in Hanoi,
Vietnam.
Quotient Operators for Weighted Rational Expressions
Akim Demaille, Thibaud Michaud
EPITA/LRDE
Quotients of words play a key role in formal language theory, however
they have been rarely studied in the context of weighted rational
expressions. We define the left and right quotients of rational
series, and introduce corresponding operators for weighted
expressions. We generalize an alternative construction of the
derived-term (or Antimirov, or equation) automaton, based on
expansions, to handle these operators.
For more information about this publication see
http://publis.lrde.epita.fr/demaille.17.ictac
To visit Vcsn's home page, go to (considered harmless)
http://vcsn.lrde.epita.fr
To play with Vcsn on the topic of this paper
http://vcsn-sandbox.lrde.epita.fr/notebooks/Doc/ICTAC-2017.ipynb