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 $\lambda$-transducers": tree automata whose memory consists of an affine $\lambda$-term instead of a finite state. They can be see…