[PD] An abstraction : markov finite state machine