EMアルゴリズム
ここでQは対数尤度関数 log  p ( X , Z | θ ) {\displaystyle \log p(X,Z|\theta )} のZに関する条件付き期待値
Q ( θ | θ ( t ) ) := E Z | X , θ ^ ( t )  [ log  p ( X , Z | θ ) ] = ∑ Z p ( Z | X , θ ^ ( t ) ) log  p ( X , Z | θ ) {\displaystyle Q(\theta |\theta ^{(t)}):=\operatorname {E} _{Z|X,{\hat {\theta }}^{(t)}}{\big [}\log p(X,Z|\theta ){\big ]}=\sum _{Z}p(Z|X,{\hat {\theta }}^{(t)})\log p(X,Z|\theta )\,}
である。実応用上は、 θ ^ ( t ) {\displaystyle {\hat {\theta }}^{(t)}} の値が十分小さくなったと判定する何らかの条件を事前に定めておき、その条件を満たしたら上述のループを終了する。ループを終了する条件は、パラメータ値や対数尤度関数を使って定められる。