User

From LRDE

< User:Cd
(32 intermediate revisions by 2 users not shown)
Line 1: Line 1:
<math>(a^+\mid x + b^+\mid y)^*</math>
 
   
 
{{#ask: [[Category:Publications]] [[Has author::~*Élodie Puybareau*]]
{{Publication
+
| ?Publication type
| published = true
 
| date = 2016-04-26
+
| format = valuerank
  +
| liststyle = ul
| authors = Akim Demaille
 
  +
| default = No publications
| 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 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
 
| 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
 
| 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]]
 
| ?News year
 
| link=none
 
}}
 
-->
 
 
<!--
 
| template = User:Cd/TestsTemplate
 
-->
 
 
<!--
 
{{#ask: [[Category:People]] [[Status::!CSI student]]
 
| ?EPITA Class
 
| ?Related project
 
| ?Status
 
| ?Has Diploma
 
| ?Current position
 
| ?Home page
 
| ?Arrival date
 
| ?Departure date
 
| ?Has photo
 
 
}}
 
}}
-->
 

Revision as of 11:15, 29 January 2019

  • inproceedings (17)
  • article (8)