We are left with a difference in expected feature counts, as is typical in log-linear models.
unlike the supervised case, here both terms are expectations: the outer expectation is over all target sequences (given the observed source sequence), and the nested expectation is over all source sequences, given the target sequence.