An invariant measure arising in computer simulation of a chaotic dynamical system

When f(x)=2 x (mod 1) is simulated in a finite discretized space, with random round-off error, the dynamical states can be modeled as belonging to a family of Markov chains. We completely characterize the invariant measure of the discretized dynamics in terms of easily computable stationary measures of the chains