For simpler models such as Model 1 and Model 2, it is possible to obtain sufficient statistics from all possible alignments in the E-step.
for fertility-based models such as Models 3, 4, and 5, enumerating all possible alignments is NP-complete.