arXiv Open Access 2022

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

Sebastian Maneth Helmut Seidl Martin Vu

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.FL

Penulis (3)

Sebastian Maneth

Helmut Seidl

Martin Vu

Format Sitasi

APA MLA BibTeX

Maneth, S., Seidl, H., Vu, M. (2022). How to decide Functionality of Compositions of Top-Down Tree Transducers. https://arxiv.org/abs/2209.01044

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2022
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓