Finite generalized markov programming door Weeda