Difference between revisions of "Publications/demaille.16.ciaa"
From LRDE
| Line 8: | Line 8: | ||
| series = Lecture Notes in Computer Science |
| series = Lecture Notes in Computer Science |
||
| address = Seoul, South Korea |
| address = Seoul, South Korea |
||
| − | | abstract = We introduce (weighted) rational expressions to denote series over Cartesian products of monoids. To this endwe propose the operator |
+ | | 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. |
| lrdeprojects = Vcsn |
| lrdeprojects = Vcsn |
||
| lrdenewsdate = 2016-04-26 |
| lrdenewsdate = 2016-04-26 |
||
Revision as of 00:01, 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 = {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}
}