arXiv subjects

Martin Vu

Publications and source records attributed to Martin Vu.

4 recordsLinked to original sources

arXiv2024

Attributed Tree Transducers for Partial Functions

Attributed tree transducers (atts) have been equipped with regular look-around (i.e., a preprocessing via an attributed relabeling) in order to obtain a more robust class of translations. Here we give further evidence of this robustness: we show that if the class of translations realized by nondeterministic atts with regular look-around is restricted to partial functions, then we obtain exactly the class of translations realized by deterministic atts with regular look-around.

cs.FL↗

arXiv2023

Deciding whether an Attributed Translation can be realized by a Top-Down Transducer

We prove that for a given partial functional attributed tree transducer with monadic output, it is decidable whether or not an equivalent top-down transducer (with or without look-ahead) exists. We present a procedure that constructs an equivalent top-down transducer (with or without look-ahead) if it exists.

cs.FL↗

arXiv2022

How to decide Functionality of Compositions of Top-Down Tree Transducers

We prove that functionality of compositions of top-down tree transducers is decidable by reducing the problem to the functionality of one top-down tree transducer with look-ahead.

cs.FL↗

arXiv2021

Definability Results for Top-Down Tree Transducers

We prove that for a given deterministic top-down transducer with look-ahead it is decidable whether or not its translation is definable (1)~by a linear top-down tree transducer or (2)~by a tree homomorphism. We present algorithms that construct equivalent such transducers if they exist.

cs.FL↗