Using the exact state space of a Markov model to compute approximate stationary measures