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

Sebastian Maneth; Helmut Seidl; Martin Vu

doi:10.1007/978-3-031-19685-0_13

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

Sebastian Maneth, Helmut Seidl, Martin Vu

Informatics 2 - Chair of Formal Languages, Compiler Construction, Software Construction

University of Bremen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

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.

Original language	English
Title of host publication	Algebraic Informatics - 9th International Conference, CAI 2022, Proceedings
Editors	Dimitrios Poulakis, George Rahonis
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	175-191
Number of pages	17
ISBN (Print)	9783031196843
DOIs	https://doi.org/10.1007/978-3-031-19685-0_13
State	Published - 2022
Event	9th International Conference on Algebraic Informatics, CAI 2022 - Virtual, Online Duration: 27 Oct 2022 → 29 Oct 2022

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	13706 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International Conference on Algebraic Informatics, CAI 2022
City	Virtual, Online
Period	27/10/22 → 29/10/22

Access to Document

10.1007/978-3-031-19685-0_13

Cite this

Maneth, S., Seidl, H., & Vu, M. (2022). How to Decide Functionality of Compositions of Top-Down Tree Transducers. In D. Poulakis, & G. Rahonis (Eds.), Algebraic Informatics - 9th International Conference, CAI 2022, Proceedings (pp. 175-191). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13706 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-19685-0_13

Maneth, Sebastian ; Seidl, Helmut ; Vu, Martin. / How to Decide Functionality of Compositions of Top-Down Tree Transducers. Algebraic Informatics - 9th International Conference, CAI 2022, Proceedings. editor / Dimitrios Poulakis ; George Rahonis. Springer Science and Business Media Deutschland GmbH, 2022. pp. 175-191 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{8063c65ebc7c46ada58375ca354dac45,

title = "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.",

author = "Sebastian Maneth and Helmut Seidl and Martin Vu",

note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 9th International Conference on Algebraic Informatics, CAI 2022 ; Conference date: 27-10-2022 Through 29-10-2022",

year = "2022",

doi = "10.1007/978-3-031-19685-0_13",

language = "English",

isbn = "9783031196843",

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 = "175--191",

editor = "Dimitrios Poulakis and George Rahonis",

booktitle = "Algebraic Informatics - 9th International Conference, CAI 2022, Proceedings",

}

Maneth, S, Seidl, H & Vu, M 2022, How to Decide Functionality of Compositions of Top-Down Tree Transducers. in D Poulakis & G Rahonis (eds), Algebraic Informatics - 9th International Conference, CAI 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13706 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 175-191, 9th International Conference on Algebraic Informatics, CAI 2022, Virtual, Online, 27/10/22. https://doi.org/10.1007/978-3-031-19685-0_13

How to Decide Functionality of Compositions of Top-Down Tree Transducers. / Maneth, Sebastian; Seidl, Helmut; Vu, Martin.
Algebraic Informatics - 9th International Conference, CAI 2022, Proceedings. ed. / Dimitrios Poulakis; George Rahonis. Springer Science and Business Media Deutschland GmbH, 2022. p. 175-191 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13706 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - How to Decide Functionality of Compositions of Top-Down Tree Transducers

AU - Maneth, Sebastian

AU - Seidl, Helmut

AU - Vu, Martin

PY - 2022

Y1 - 2022

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85142744012&partnerID=8YFLogxK

U2 - 10.1007/978-3-031-19685-0_13

DO - 10.1007/978-3-031-19685-0_13

M3 - Conference contribution

AN - SCOPUS:85142744012

SN - 9783031196843

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 175

EP - 191

BT - Algebraic Informatics - 9th International Conference, CAI 2022, Proceedings

A2 - Poulakis, Dimitrios

A2 - Rahonis, George

PB - Springer Science and Business Media Deutschland GmbH

T2 - 9th International Conference on Algebraic Informatics, CAI 2022

Y2 - 27 October 2022 through 29 October 2022

ER -

Maneth S, Seidl H, Vu M. How to Decide Functionality of Compositions of Top-Down Tree Transducers. In Poulakis D, Rahonis G, editors, Algebraic Informatics - 9th International Conference, CAI 2022, Proceedings. Springer Science and Business Media Deutschland GmbH. 2022. p. 175-191. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-19685-0_13