How to decide Functionality of Compositions of Top-Down Tree Transducers
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2022
- DOI:
- arXiv:
- arXiv:2209.01044
- Bibcode:
- 2022arXiv220901044M
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory