ON INJECTIVITY OF DETERMINISTIC TOP-DOWN TREE-TRANSDUCERS

Authors
FULOP Z GYENIZSE P
Citation
Z. Fulop et P. Gyenizse, ON INJECTIVITY OF DETERMINISTIC TOP-DOWN TREE-TRANSDUCERS, Information processing letters, 48(4), 1993, pp. 183-188
Citations number
5
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
Journal title
Information processing letters → ACNP
ISSN journal
00200190
Volume
48
Issue
4
Year of publication
1993
Pages
183 - 188
Database
ISI
SICI code
0020-0190(1993)48:4<183:OIODTT>2.0.ZU;2-D
Abstract
We give a simple proof for the decidability of injectivity of linear d eterministic top-down tree transducers. Moreover, we show that injecti vity is undecidable even for homomorphism tree transducers.