Shape Preserving Tree Transducers
Formal Languages and Automata Theory
2025-06-30 v1
Abstract
It is shown that shape preservation is decidable for top-down tree transducers, bottom-up tree transducers, and for compositions of total deterministic macro tree transducers. Moreover, if a transducer is shape preserving, then it can be brought into a particular normal form, where every input node creates exactly one output node.
Keywords
Cite
@article{arxiv.2506.22047,
title = {Shape Preserving Tree Transducers},
author = {Paul Gallot and Sebastian Maneth},
journal= {arXiv preprint arXiv:2506.22047},
year = {2025}
}