@inproceedings{3dd2d1efa73f4bf4a8bb9b49d19a9c87,
title = "Definability Results for Top-Down Tree Transducers",
abstract = "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.",
author = "Sebastian Maneth and Helmut Seidl and Martin Vu",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 25th International Conference on Developments in Language Theory, DLT 2021 ; Conference date: 16-08-2021 Through 20-08-2021",
year = "2021",
doi = "10.1007/978-3-030-81508-0_24",
language = "English",
isbn = "9783030815073",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "291--303",
editor = "Nelma Moreira and Rog{\'e}rio Reis",
booktitle = "Developments in Language Theory - 25th International Conference, DLT 2021, Proceedings",
}