SMS dit: Finite generalized Markov programming /