Lumped Markov chain (source code)

= Lumped Markov chain

A <Lumped Markov chain> records only a partition class of the original state. It is Markov when the <Transition probability> into every class is constant within each source class.