Formalization

In this question, we will look at how to get from a text question to a formalized MDP, which we can solve with the algorithms we learned.

Grading method: Highest grade