Finite Markov chain