Again, the values of 0.5 and 1.5 are constants used in IR tasks acting as smoothing.
after a transducer is extracted from a parallel corpus, tf and df are counted from the collection of the "bag-of-words'' phrase alignment representations.