Difference between revisions of "Publications/demaille.16.ciaa"
From LRDE
| Line 3: | Line 3: | ||
| date = 2016-04-26 |
| date = 2016-04-26 |
||
| authors = Akim Demaille |
| authors = Akim Demaille |
||
| − | | title = Multitape Rational Expressions |
+ | | title = Derived-Term Automata of Multitape Rational Expressions |
| booktitle = Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16) |
| booktitle = Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16) |
||
| publisher = Springer |
| publisher = Springer |
||
| Line 17: | Line 17: | ||
@InProceedings<nowiki>{</nowiki> demaille.16.ciaa, |
@InProceedings<nowiki>{</nowiki> demaille.16.ciaa, |
||
author = <nowiki>{</nowiki>Akim Demaille<nowiki>}</nowiki>, |
author = <nowiki>{</nowiki>Akim Demaille<nowiki>}</nowiki>, |
||
| − | title = <nowiki>{</nowiki>Multitape Rational Expressions<nowiki>}</nowiki>, |
+ | title = <nowiki>{</nowiki>Derived-Term Automata of Multitape Rational Expressions<nowiki>}</nowiki>, |
booktitle = <nowiki>{</nowiki>Proceedings of Implementation and Application of Automata, |
booktitle = <nowiki>{</nowiki>Proceedings of Implementation and Application of Automata, |
||
21st International Conference (CIAA'16)<nowiki>}</nowiki>, |
21st International Conference (CIAA'16)<nowiki>}</nowiki>, |
||
Revision as of 17:06, 29 April 2016
- Authors
- Akim Demaille
- Where
- Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16)
- Place
- Seoul, South Korea
- Type
- inproceedings
- Publisher
- Springer
- Projects
- Vcsn
- Date
- 2016-04-26
Abstract
We introduce (weighted) rational expressions to denote series over Cartesian products of monoids. To this endwe propose the operator mid to build multitape expressions such as (a^+∣x + b^+∣y)^*. We define expansions, which generalize the concept of derivative of a rational expression, but relieved from the need of a free monoid. We propose an algorithm based on expansions to build multitape automata from multitape expressions.
Bibtex (lrde.bib)
@InProceedings{ demaille.16.ciaa,
author = {Akim Demaille},
title = {Derived-Term Automata of Multitape Rational Expressions},
booktitle = {Proceedings of Implementation and Application of Automata,
21st International Conference (CIAA'16)},
year = 2016,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
address = {Seoul, South Korea},
month = jul,
abstract = {We introduce (weighted) rational expressions to denote
series over Cartesian products of monoids. To this end, we
propose the operator $\mid$ to build multitape expressions
such as $(a^+\mid x + b^+\mid y)^*$. We define expansions,
which generalize the concept of derivative of a rational
expression, but relieved from the need of a free monoid. We
propose an algorithm based on expansions to build multitape
automata from multitape expressions.},
note = {accepted}
}