Formal methods from the theory of weighted tree automata and tree transducers have received an increasing attention in the area of statistical machine translation. In this talk I would like to illustrate one aspect of their usefulness.