On the Equivalence Problem for Letter-to-Letter Top-Down Tree Transducers


Letter to letter top-down tree transducers are investigated in this paper. Informally, trees which appear in the rules of such transducers are reduced to one letter in the right-hand side as in the left one. With an encoding of the tree transformations induced by such transducers into recognizable forests, we recently established the decidability of… (More)
DOI: 10.1016/S0304-3975(97)00080-7


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics