Input: Source sentence x, a rule set for x, and w. Output: {r} is a derivation consisting of one rule r. 7: for k in (i + 1 .. i + p) do p is the phrase length limit 9: 11: on some translation metric (such as BLEU (Papineni et al., 2002)).
for a training sentence pair x, y , if a pair of its translations y 1 = e(d 1 ) and y to hold after tuning.