Compactification of the discrete state space of a Markov process