Re: [PD] An abstraction : markov finite state machine