Shape Preserving Tree Transducers
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866912453576622080 |
|---|---|
| author | Gallot, Paul Maneth, Sebastian |
| author_facet | Gallot, Paul Maneth, Sebastian |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_22047 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Shape Preserving Tree Transducers Gallot, Paul Maneth, Sebastian Formal Languages and Automata Theory 68U99 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. |
| title | Shape Preserving Tree Transducers |
| topic | Formal Languages and Automata Theory 68U99 |
| url | https://arxiv.org/abs/2506.22047 |