Functionality of compositions of top-down tree transducers is decidable

Sebastian Maneth; Helmut Seidl; Martin Vu

doi:10.1016/j.ic.2023.105131

Functionality of compositions of top-down tree transducers is decidable

Sebastian Maneth
, Helmut Seidl
, Martin Vu

Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik

University of Bremen

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

1 Zitat (Scopus)

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.

Originalsprache	Englisch
Aufsatznummer	105131
Fachzeitschrift	Information and Computation
Jahrgang	296
DOIs	https://doi.org/10.1016/j.ic.2023.105131
Publikationsstatus	Veröffentlicht - Jan. 2024

Zugriff auf Dokument

10.1016/j.ic.2023.105131

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@article{158aa49889e64d60afa0e5ec6e2baeac,

title = "Functionality of compositions of top-down tree transducers is decidable",

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

keywords = "Decidability, Functionality, Top-down tree transducer",

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

note = "Publisher Copyright: {\textcopyright} 2023 The Author(s)",

year = "2024",

month = jan,

doi = "10.1016/j.ic.2023.105131",

language = "English",

volume = "296",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

}

TY - JOUR

T1 - Functionality of compositions of top-down tree transducers is decidable

AU - Maneth, Sebastian

AU - Seidl, Helmut

AU - Vu, Martin

PY - 2024/1

Y1 - 2024/1

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.

KW - Decidability

KW - Functionality

KW - Top-down tree transducer

UR - https://www.scopus.com/pages/publications/85180268899

U2 - 10.1016/j.ic.2023.105131

DO - 10.1016/j.ic.2023.105131

M3 - Article

AN - SCOPUS:85180268899

SN - 0890-5401

VL - 296

JO - Information and Computation

JF - Information and Computation

M1 - 105131

ER -

Functionality of compositions of top-down tree transducers is decidable

Abstract

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren