This function induces a weight function over derivations: If we define then the probability model becomes It is easy to write dynamic-programming algorithms to find the highest-weight translation or k-best translations with a weighted synchronous CFG.
it is problematic that w(D) does not include the language model, which is extremely important for translation quality.