Difference between revisions of "Publications/demaille.16.ciaa"
From LRDE
(Created page with "{{Publication | published = true | date = 2016-04-26 | authors = Akim Demaille | title = Multitape Rational Expressions | booktitle = Proceedings of Implementation and Applica...") |
|||
| 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 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. |
+ | | abstract = We introduce (weighted) rational expressions to denote series over Cartesian products of monoids. To this endwe propose the operator <math>mid</math> to build multitape expressions such as <math>(a^+∣x + b^+∣y)^*</math>. 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 16:52, 28 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 to build multitape expressions such as Failed to parse (syntax error): {\displaystyle (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}
}