Difference between revisions of "Publications/demaille.16.ciaa"
From LRDE
| Line 11: | Line 11: | ||
| lrdeprojects = Vcsn |
| lrdeprojects = Vcsn |
||
| lrdepaper = http://www.lrde.epita.fr/dload/papers/demaille.16.ciaa.pdf |
| lrdepaper = http://www.lrde.epita.fr/dload/papers/demaille.16.ciaa.pdf |
||
| + | | lrdereport = http://www.lrde.epita.fr/dload/papers/demaille.16.ciaa.report.pdf |
||
| lrdenewsdate = 2016-04-26 |
| lrdenewsdate = 2016-04-26 |
||
| note = accepted |
| note = accepted |
||
| Line 34: | Line 35: | ||
propose an algorithm based on expansions to build multitape |
propose an algorithm based on expansions to build multitape |
||
automata from multitape expressions.<nowiki>}</nowiki>, |
automata from multitape expressions.<nowiki>}</nowiki>, |
||
| + | lrdereport = <nowiki>{</nowiki>http://www.lrde.epita.fr/dload/papers/demaille.16.ciaa.report.pdf<nowiki>}</nowiki>, |
||
note = <nowiki>{</nowiki>accepted<nowiki>}</nowiki> |
note = <nowiki>{</nowiki>accepted<nowiki>}</nowiki> |
||
<nowiki>}</nowiki> |
<nowiki>}</nowiki> |
||
Revision as of 16:44, 6 July 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.
Documents
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.},
lrdereport = {http://www.lrde.epita.fr/dload/papers/demaille.16.ciaa.report.pdf},
note = {accepted}
}