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