Functionality of compositions of top-down tree transducers is decidable

Sebastian Maneth, Helmut Seidl, Martin Vu

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Article number105131
JournalInformation and Computation
Volume296
DOIs
StatePublished - Jan 2024

Keywords

  • Decidability
  • Functionality
  • Top-down tree transducer

Fingerprint

Dive into the research topics of 'Functionality of compositions of top-down tree transducers is decidable'. Together they form a unique fingerprint.

Cite this