From LRDE
< User:CdLine 1: | Line 1: | ||
+ | {{#ask: [[Category:News]] |
||
− | We introduce (weighted) rational expressions to denote series over Cartesian products of monoids. To this end, we propose the operator <math>\mid</math> to build multitape expressions such as <math>(a^+\mid x + b^+\mid 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. |
||
+ | | ?News title=title |
||
+ | | ?News subtitle=subtitle |
||
+ | | ?News date#MEDIAWIKI=date |
||
+ | | format = ul |
||
+ | | template = NewsItem |
||
+ | | order = descending |
||
+ | | sort = News date |
||
+ | | named args = yes |
||
⚫ | |||
− | |||
− | {{Publication |
||
− | | published = false |
||
− | | date = 2016-04-26 |
||
− | | authors = Akim Demaille |
||
− | | title = Derived-Term Automata of Multitape Rational Expressions |
||
− | | booktitle = Proceedings of Implementation and Application of Automata21st International Conference (CIAA'16) |
||
− | | editors = Yo-Sub Han, Kai Salomaa |
||
− | | publisher = Springer |
||
− | | address = Seoul, South Korea |
||
− | | pages = 51 to 63 |
||
− | | anurl = http://dx.doi.org/10.1007/978-3-319-40946-7_5 |
||
− | | series = Lecture Notes in Computer Science |
||
− | | volume = 9705 |
||
− | | abstract = We introduce (weighted) rational expressions to denote series over Cartesian products of monoids. To this end, we propose the operator </math>\mid</math> to build multitape expressions such as <math>(a^+\mid x + b^+\mid 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 |
||
− | | 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 = 2010-04-26 |
||
− | | type = inproceedings |
||
− | | id = demaille.16.ciaa |
||
− | | identifier = doi:10.1007/978-3-319-40946-7_5 |
||
− | | bibtex = |
||
− | @InProceedings<nowiki>{</nowiki> demaille.16.ciaa, |
||
− | author = <nowiki>{</nowiki>Akim Demaille<nowiki>}</nowiki>, |
||
− | title = <nowiki>{</nowiki>Derived-Term Automata of Multitape Rational Expressions<nowiki>}</nowiki>, |
||
− | booktitle = <nowiki>{</nowiki>Proceedings of Implementation and Application of Automata, |
||
− | 21st International Conference (CIAA'16)<nowiki>}</nowiki>, |
||
− | editor = <nowiki>{</nowiki>Yo-Sub Han and Kai Salomaa<nowiki>}</nowiki>, |
||
− | year = 2016, |
||
− | publisher = <nowiki>{</nowiki>Springer<nowiki>}</nowiki>, |
||
− | address = <nowiki>{</nowiki>Seoul, South Korea<nowiki>}</nowiki>, |
||
− | pages = <nowiki>{</nowiki>51--63<nowiki>}</nowiki>, |
||
− | isbn = <nowiki>{</nowiki>978-3-319-40946-7<nowiki>}</nowiki>, |
||
− | doi = <nowiki>{</nowiki>10.1007/978-3-319-40946-7_5<nowiki>}</nowiki>, |
||
− | anurl = <nowiki>{</nowiki>http://dx.doi.org/10.1007/978-3-319-40946-7_5<nowiki>}</nowiki>, |
||
− | series = <nowiki>{</nowiki>Lecture Notes in Computer Science<nowiki>}</nowiki>, |
||
− | volume = 9705, |
||
− | month = jul, |
||
− | abstract = <nowiki>{</nowiki>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.<nowiki>}</nowiki> |
||
− | <nowiki>}</nowiki> |
||
− | |||
⚫ | |||
<!-- |
<!-- |
||
− | {{#ask: [[Category: |
+ | {{#ask: [[Category:News]] |
| ?News year |
| ?News year |
||
| link=none |
| link=none |
Revision as of 11:27, 12 September 2017
- {{{2}}} — {{{4}}}
- {{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}
- {{{2}}} — {{{4}}}
{{{3}}}