Per visualizzare il file, fai click su questo link: Lab2_DTMC_part2_TotallySolved.pdf