Recursive smoothing for discrete-time systems as a filtering problem

It is shown that the problem of recursive smoothing of the past states for discrete-time linear systems can be transformed to a filtering problem by introducing an enlarged state and modifying the system equations. The smoothing equations are then obtained from Kalman filter equations. Equations for the fixed-point time smoothing problem results directly from the filter equations.