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...
| Main Author: | |
|---|---|
| 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 |
| id |
doaj-56c85d535a6a4b3d848696ff816cf903 |
|---|---|
| record_format |
Article |
| spelling |
doaj-56c85d535a6a4b3d848696ff816cf9032020-11-25T01:11:02ZengAlexandru Ioan Cuza University of IasiScientific Annals of Computer Science1843-81212248-26952017-12-01XXVII213717610.7561/SACS.2017.2.137Derived-Term Automata of Multitape Expressions with CompositionA. DemailleRational 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.http://www.info.uaic.ro/bin/download/Annals/XXVII2/XXVII2_1.pdf |
| collection |
DOAJ |
| language |
English |
| format |
Article |
| sources |
DOAJ |
| author |
A. Demaille |
| spellingShingle |
A. Demaille Derived-Term Automata of Multitape Expressions with Composition Scientific Annals of Computer Science |
| author_facet |
A. Demaille |
| author_sort |
A. Demaille |
| title |
Derived-Term Automata of Multitape Expressions with Composition |
| title_short |
Derived-Term Automata of Multitape Expressions with Composition |
| title_full |
Derived-Term Automata of Multitape Expressions with Composition |
| title_fullStr |
Derived-Term Automata of Multitape Expressions with Composition |
| title_full_unstemmed |
Derived-Term Automata of Multitape Expressions with Composition |
| title_sort |
derived-term automata of multitape expressions with composition |
| publisher |
Alexandru Ioan Cuza University of Iasi |
| series |
Scientific Annals of Computer Science |
| issn |
1843-8121 2248-2695 |
| publishDate |
2017-12-01 |
| description |
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. |
| url |
http://www.info.uaic.ro/bin/download/Annals/XXVII2/XXVII2_1.pdf |
| work_keys_str_mv |
AT ademaille derivedtermautomataofmultitapeexpressionswithcomposition |
| _version_ |
1725172997849874432 |