Backward-forward smoothing interpretation of the a posteriori process noise estimate

The a posteriori discrete-time process noise estimate is interpreted as the combination of two independent estimates: the a priori estimate (which is white noise) and the optimum estimate based on the observations. Equivalence to previous formulations is demonstrated.