arXiv Open Access 2023

Deciding whether an Attributed Translation can be realized by a Top-Down Transducer

Sebastian Maneth Martin Vu

Lihat Sumber

Abstrak

We prove that for a given partial functional attributed tree transducer with monadic output, it is decidable whether or not an equivalent top-down transducer (with or without look-ahead) exists. We present a procedure that constructs an equivalent top-down transducer (with or without look-ahead) if it exists.

Topik & Kata Kunci

cs.FL

Penulis (2)

Sebastian Maneth

Martin Vu

Format Sitasi

APA MLA BibTeX

Maneth, S., Vu, M. (2023). Deciding whether an Attributed Translation can be realized by a Top-Down Transducer. https://arxiv.org/abs/2306.04326

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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