Let and regard as the latent variable. At iteration , the E-step forms
The M-step updates
This is the expectation-maximization algorithm for the posterior objective: including in the complete-data log density makes the maximizer a maximum a posteriori estimate rather than a maximum-likelihood estimate.