[Lrde Annonce] New publication: Quotient Operators for Weighted Rational Expressions

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