Slightly Non-Linear Higher-Order Tree Transducers

Lê Thà nh Dũng Nguyên, Gabriele Vanoni

We investigate the tree-to-tree functions computed by "affine $\hat{I}»$-transducers": tree automata whose memory consists of an affine $\hat{I}»$-term instead of a finite state. They can be s…