Normal Form on Linear Tree-to-word Transducers
Résumé
We study a subclass of tree-to-word transducers: linear tree-to-word transducers, that cannot use several copies of the input.
We aim to study the equivalence problem on this class, by using minimization and normalization techniques.
We identify a Myhill-Nerode characterization.
It provides a minimal normal form on our class, computable in Exptime.
This paper extends an already existing result on tree-to-word transducers without copy or reordering (sequential tree-to-word transducers),
by accounting for all the possible reorderings in the output.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...