tokens: A valuation is well - defined for if the replacement yields probability distributions at all states ; the resulting model is a Markov decision process ( MDP ) or , in absence of nondeterminism , a Markov chain ( MC ) .