The Vcsn team is happy to announce that the following paper was accepted and published in Volume XXVII of the Scientific Annals of Computer Science.
Derived-Term Automata of Multitape Expressions with Composition Akim Demaille EPITA/LRDE
Rational expressions are powerful tools to define automata, but often restricted to single-tape automata. Our goal is to unleash their expressive power for transducers, and more generally, any multitape automaton; for instance (a⁺|x + b⁺|y)*. We generalize the construction of the derived-term automaton by using expansions. This approach generates small automata, and even allows us to support a composition operator.
The paper on the Scientific Annals of Computer Science's website http://www.info.uaic.ro/bin/Annals/Article?v=XXVII2&a=1
For more information about this publication see http://publis.lrde.epita.fr/demaille.17.sacs
To play with Vcsn on the topic of this paper http://vcsn-sandbox.lrde.epita.fr/notebooks/Doc/SACS-2017.ipynb
Vcsn's home page http://vcsn.lrde.epita.fr