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>|<nowiki>}</nowiki> x + b^+\mathbin<nowiki>{</nowiki>|<nowiki>}</nowiki> y)^*$. We generalize
+
$(a^+\mathbin<nowiki>{</nowiki>\vert<nowiki>}</nowiki> x + b^+\mathbin<nowiki>{</nowiki>\vert<nowiki>}</nowiki> y)^*$. We
the construction of the derived-term automaton by using
+
generalize the construction of the derived-term automaton
\emph<nowiki>{</nowiki>expansions<nowiki>}</nowiki>. This approach generates small automata,
+
by using \emph<nowiki>{</nowiki>expansions<nowiki>}</nowiki>. This approach generates small
and even allows us to support a composition operator.<nowiki>}</nowiki>
+
automata, and even allows us to support a composition
  +
operator.<nowiki>}</nowiki>
 
<nowiki>}</nowiki>
 
<nowiki>}</nowiki>
   

Revision as of 16:46, 27 December 2017

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.}
}