Unfortunately, unlike in the case of HMMs and PCFGs, our model permits no tractable dynamic program to compute these counts exactly.
we resort to a Monte Carlo E-step, where many samples of the edit variables are collected, and counts are computed based on these samples.