Markov Semigroup