Sequential Tree-to-Word Transducers: Normalization, Minimization, and Learning - Archive ouverte HAL Access content directly
Other Publications Year : 2015

Sequential Tree-to-Word Transducers: Normalization, Minimization, and Learning

Grégoire Laurence
  • Function : Author
  • PersonId : 863927
Aurélien Lemay
  • Function : Author
  • PersonId : 958887
Joachim Niehren
Slawomir Staworko
Marc Tommasi


We introduce a class of deterministic sequential top-down tree-to-word transduc- ers (STWs) and investigate a number of its fundamental properties and related problems. First, we investigate the problem of normalization of STWs: we identify a subclass of earliest STWs (eSTWs) that is as expressive as stws and present an effective procedure for converting an arbitrary STW into an equivalent eSTW. We then present a Myhill-Nerode characterization of the class of the transformations definable with STWs which also shows that every transformation defined with an stw has a unique canonical representative eSTW. This canonical eSTW is the minimal eSTW defining the same transformation, and consequently, we present a polynomial minimization procedure for eSTWs, thus giving an effective procedure for constructing the canonical representative of any transformation definable with STWs. Finally, we use the Myhill-Nerode characterization to devise an algorithm for inference (learning) of eSTWs from examples of transformation given by the user.

Available at

No file

Dates and versions

hal-01186993 , version 1 (25-08-2015)


  • HAL Id : hal-01186993 , version 1


Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawomir Staworko, Marc Tommasi. Sequential Tree-to-Word Transducers: Normalization, Minimization, and Learning. 2015. ⟨hal-01186993⟩
175 View
0 Download


Gmail Facebook X LinkedIn More