Markov Decision Processes

Define states, actions, transitions, rewards, policies, and returns, then map those pieces onto program or kernel generation.