Difference between revisions of "Publications/demaille.17.sacs"
From LRDE
(Created page with "{{Publication | published = true | date = 2017-01-01 | title = Derived-Term Automata of Multitape Expressions with Composition | authors = Akim Demaille | journal = Scientific...") |
|||
Line 11: | Line 11: | ||
| publisher = ``A.I. Cuza'' University Press, Iac si |
| publisher = ``A.I. Cuza'' University Press, Iac si |
||
| lrdeprojects = Vcsn |
| lrdeprojects = Vcsn |
||
− | | abstract = Rational expressions are powerful tools to define automata, but often restricted to single-tape automata. Our goal is to unleash their expressive power for transducersand more generally, any multitape automaton; for instance (a^+| x + b^+mathbin| y)^*. We generalize the construction of the derived-term automaton by using expansions. This approach generates small automataand even allows us to support a composition operator. |
+ | | abstract = Rational expressions are powerful tools to define automata, but often restricted to single-tape automata. Our goal is to unleash their expressive power for transducersand more generally, any multitape automaton; for instance (a^+mathbin| x + b^+mathbin| y)^*. We generalize the construction of the derived-term automaton by using expansions. This approach generates small automataand even allows us to support a composition operator. |
| type = article |
| type = article |
||
| id = demaille.17.sacs |
| id = demaille.17.sacs |
||
Line 32: | Line 32: | ||
goal is to unleash their expressive power for transducers, |
goal is to unleash their expressive power for transducers, |
||
and more generally, any multitape automaton; for instance |
and more generally, any multitape automaton; for instance |
||
− | $(a^+\mathbin<nowiki>{</nowiki> |
+ | $(a^+\mathbin<nowiki>{</nowiki>\vert<nowiki>}</nowiki> x + b^+\mathbin<nowiki>{</nowiki>\vert<nowiki>}</nowiki> y)^*$. We |
− | the construction of the derived-term automaton |
+ | generalize the construction of the derived-term automaton |
− | \emph<nowiki>{</nowiki>expansions<nowiki>}</nowiki>. This approach generates small |
+ | by using \emph<nowiki>{</nowiki>expansions<nowiki>}</nowiki>. This approach generates small |
− | and even allows us to support a composition |
+ | automata, and even allows us to support a composition |
+ | operator.<nowiki>}</nowiki> |
||
<nowiki>}</nowiki> |
<nowiki>}</nowiki> |
||
Revision as of 16:46, 27 December 2017
- Authors
- Akim Demaille
- Journal
- Scientific Annals of Computer Science
- Type
- article
- Publisher
- ``A.I. Cuza University Press, Iac si
- Projects
- Vcsn
- Date
- 2017-01-01
Abstract
Rational expressions are powerful tools to define automata, but often restricted to single-tape automata. Our goal is to unleash their expressive power for transducersand more generally, any multitape automaton; for instance (a^+mathbin
Bibtex (lrde.bib)
@Article{ demaille.17.sacs, title = {Derived-Term Automata of Multitape Expressions with Composition}, author = {Akim Demaille}, journal = {Scientific Annals of Computer Science}, volume = {27}, number = {2}, organization = {``A.I. Cuza'' University, Ia\c si, Rom\^ania}, year = {2017}, pages = {137--176}, doi = {10.7561/SACS.2017.2.137}, publisher = {``A.I. Cuza'' University Press, Ia\c si}, abstract = {Rational expressions are powerful tools to define automata, but often restricted to single-tape automata. Our goal is to unleash their expressive power for transducers, and more generally, any multitape automaton; for instance $(a^+\mathbin{\vert} x + b^+\mathbin{\vert} y)^*$. We generalize the construction of the derived-term automaton by using \emph{expansions}. This approach generates small automata, and even allows us to support a composition operator.} }