... an input, starts from the initial state with its head scanning the root node of an input. Ac- cording to the current state and the label of the scanned node, it transforms an input tree into ... p2. Intuitively, in a dc-lfg G, for each pair (tl, t2) of derivation trees in G, if the f-structure and nonterminal of the root of tl are the same as those of t2, then t] and t2 derive the ... and the terminals and the labels of produc- tions are operators. A tree transducer (Rounds 1969) defines a mapping from trees to trees. Since we are mainly interested in the string language...