Click DTMC-exercise.zip link to view the file.