Derived-Term Automata of Multitape Expressions with Composition

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...

Full description

Bibliographic Details
Main Author: A. Demaille
Format: Article
Language:English
Published: Alexandru Ioan Cuza University of Iasi 2017-12-01
Series:Scientific Annals of Computer Science
Online Access:http://www.info.uaic.ro/bin/download/Annals/XXVII2/XXVII2_1.pdf