User

From LRDE

< User:Cd
Line 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:Publications]]
+
{{#ask: [[Category:News]]
 
| ?News year
 
| ?News year
 
| link=none
 
| link=none

Revision as of 10: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}}}

... further results