We consider minimization problems for natural parameters of word transducers: the number of passes performed by two-way transducers and the number of registers used by streaming transducers. We show how to compute in ExpSpace the minimum number of passes needed to implement a transduction given as sweeping transducer, and we provide effective constructions of transducers of (worst-case optimal) doubly exponential size. We then consider streaming transducers where concatenations of registers are forbidden in the register updates. Based on a correspondence between the number of passes of sweeping transducers and the number of registers of equivalent concatenation-free streaming transducers, we derive a minimization procedure for the number of...
Two-way finite-state transducers on words are strictly more expressive than one-way transducers. It ...
Functional transductions realized by two-way transducers (equivalently, by streaming transducers and...
International audienceWe consider the problem of evaluating in streaming (i.e. in a single left-to-r...
We consider minimization problems for natural parameters of word transducers: the number of passes p...
Streaming string transducers define (partial) functions from input strings to output strings. A stre...
Functional transductions realized by two-way transducers (or, equally, by streaming transducers or M...
Streaming string transducers define (partial) functions from input strings to output strings. A stre...
Streaming string transducers define (partial) functions from input strings to output strings. A stre...
Streaming string transducers [1] define (partial) functions from input strings to output strings. A ...
We prove the following decomposition theorem: every 1-register streaming string transducer that asso...
The goal of this thesis was to study definability questionsabout finite-state transducers and in pa...
The goal of this thesis was to study definability questionsabout finite-state transducers and in pa...
Streaming string transducers [1] define (partial) functions from input strings to output strings. A ...
International audienceWe prove the following decomposition theorem: every 1-register streaming strin...
We consider the problem of evaluating in streaming (i.e. in a single left-to-right pass) a nested wo...
Two-way finite-state transducers on words are strictly more expressive than one-way transducers. It ...
Functional transductions realized by two-way transducers (equivalently, by streaming transducers and...
International audienceWe consider the problem of evaluating in streaming (i.e. in a single left-to-r...
We consider minimization problems for natural parameters of word transducers: the number of passes p...
Streaming string transducers define (partial) functions from input strings to output strings. A stre...
Functional transductions realized by two-way transducers (or, equally, by streaming transducers or M...
Streaming string transducers define (partial) functions from input strings to output strings. A stre...
Streaming string transducers define (partial) functions from input strings to output strings. A stre...
Streaming string transducers [1] define (partial) functions from input strings to output strings. A ...
We prove the following decomposition theorem: every 1-register streaming string transducer that asso...
The goal of this thesis was to study definability questionsabout finite-state transducers and in pa...
The goal of this thesis was to study definability questionsabout finite-state transducers and in pa...
Streaming string transducers [1] define (partial) functions from input strings to output strings. A ...
International audienceWe prove the following decomposition theorem: every 1-register streaming strin...
We consider the problem of evaluating in streaming (i.e. in a single left-to-right pass) a nested wo...
Two-way finite-state transducers on words are strictly more expressive than one-way transducers. It ...
Functional transductions realized by two-way transducers (equivalently, by streaming transducers and...
International audienceWe consider the problem of evaluating in streaming (i.e. in a single left-to-r...