New journal publication: Derived-Term Automata of Multitape Expressions with Composition

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
participants (1)
-
Akim Demaille