SMS: Finite Markov processes and their applications