, x n )) = α and if α is an initial tree, construct the equation where the right-hand-side transformation • is defined by 4 (2) Note that the equations are linear and complete, because each variable x i is generated once as the tree α is traversed, namely at position π i in the traversal (marked with i ), and the variable x 0 is generated at the foot node only.
the generated embedded tree transducer is linear and complete.