Describir: Finite Markov chains