Tree Series Transformations that Respect Copying

@article{Flp2003TreeST,
  title={Tree Series Transformations that Respect Copying},
  author={Zolt{\'a}n F{\"u}l{\"o}p and Heiko Vogler},
  journal={Theory of Computing Systems},
  year={2003},
  volume={36},
  pages={247-293}
}
We consider tree series transducers which were introduced in [EFV], and define the tree-to-tree series transformations computed by them in two different ways. One of the definitions is based on the ←-substitution of tree series taken from [EFV] while the other one is based on a new tree series substitution introduced in this paper. This new substitution is called -substitution and the main difference between the ←- and the -substitutions is that the first one does not take into account the… CONTINUE READING