State space for Markov processes